Search for persons
X
?
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science ,
3
Assumption Monitoring of Temporal Task Planning Using Strea..:
, In:
?
Proceedings of the Winter Simulation Conference ,
5
Unified DEVS-based platform for modeling and simulation of ..:
, In:
?
2020 IEEE International Conference on Robotics and Automation (ICRA) ,
6