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) ,
3
Programming Abstractions for Simulation and Testing on Smar..:
, In:
?
2020 IEEE International Conference on Robotics and Automation (ICRA) ,
6
CyPhyHouse: A programming, simulation, and deployment toolc..:
, In:
?
Proceedings of the 38th International Conference on Software Engineering ,
7
PAC learning-based verification and model synthesis:
, In:
?
Proceedings of the 49th Annual Design Automation Conference ,
8
Symbolic model checking on SystemC designs:
, In:
?
ACM SIGGRAPH 2024 Immersive Pavilion ,
11