Search for persons
X
?
Springer Proceedings in Advanced Robotics; Robotics Research ,
1
Parallelizing Synthesis from Temporal Logic Specifications ..:
, In:
?
Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles ,
2
Osiris : A Tool for Abstraction and Verification of Cont..:
, In:
?
Proceedings of the 8th International Conference on Cyber-Physical Systems ,
3
Enhancing tolerance to unexpected jumps in GR(1) games:
, In:
?
2016 IEEE Conference on Control Applications (CCA) ,
4