Personensuche
X
?
2022 30th Mediterranean Conference on Control and Automation (MED) ,
1
Formal verification of deadlock avoidance rules for AGV sys..:
, In:
?
2019 IEEE 15th International Conference on Automation Science and Engineering (CASE) ,
2
On the Use of Equivalence Classes for Optimal and Sub-Optim..:
, In:
?
2017 13th IEEE Conference on Automation Science and Engineering (CASE) ,
4