Search for persons
X
?
2022 International Conference on Embedded Software (EMSOFT) ,
2
Industry-track: Challenges in Rebooting Autonomy with Deep ..:
, In:
?
2022 IEEE 18th International Conference on Automation Science and Engineering (CASE) ,
4
Programming Abstractions for Simulation and Testing on Smar..:
, In:
?
2020 IEEE International Conference on Robotics and Automation (ICRA) ,
7
CyPhyHouse: A programming, simulation, and deployment toolc..:
, In:
?
Lecture Notes in Computer Science; Integrated Formal Methods ,
8
Dione: A Protocol Verification System Built with Dafny for ..:
, In:
?
Proceedings of the 38th International Conference on Software Engineering ,
9
PAC learning-based verification and model synthesis:
, In:
?
Proceedings of the 49th Annual Design Automation Conference ,
10
Symbolic model checking on SystemC designs:
, In:
?
ACM SIGGRAPH 2024 Immersive Pavilion ,
14