Edward Kim,
Devan Shanker,
Varun Bharadwaj,
Hongbeen Park,
Jinkyu Kim,
HAZEM TORFAH,
Daniel J. Fremont,
Sanjit A. Seshia
Lecture Notes in Computer Science
-
2025
Eleonora Nesterini,
Ezio Bartocci,
Alessio Gambi,
Dejan Nickovic,
Sanjit A. Seshia,
HAZEM TORFAH
Proceedings of the ACM IEEE 16th International Conference on Cyber Physical Systems Iccps 2025 Held as Part of the Cps Iot Week 2025
-
2025
Sebastian Junges,
Sanjit A. Seshia,
Hazem Torfah
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
2025