Search for persons
X
?
Proceedings of the 17th Innovations in Software Engineering Conference ,
1
A Contrastive Explanation Tool for Plans in Hybrid Domains:
, In:
?
Proceedings of the 25th International Conference on Distributed Computing and Networking ,
3
Collision-Free Linear Time Mutual Visibility for Asynchrono..:
, In:
?
Proceedings of the 17th Innovations in Software Engineering Conference ,
4
Data-Driven Falsification of Cyber-Physical Systems:
, In:
?
Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design ,
7
Explaining Unsolvability of Planning Problems in Hybrid Sys..:
, In:
?
Springer Proceedings in Physics; Proceedings of the XXIV DAE-BRNS High Energy Physics Symposium, Jatni, India ,
11
A Beyond Mean Field Approach to Yang-Mills Thermodynamics:
, In:
?
Advances in Robotics - 5th International Conference of The Robotics Society ,
13