Accountable Cyber-Physical Systems

Stochastic Neural Simulation Relations for Control Transfer
🏆 DARPA Disruptive Idea Award
Alireza Nadali, Ashutosh Trivedi, Majid Zamani
NeuS (2025)
PDF · BibTeX
cps top award
Closure Certificates
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
HSCC 2024 (2024)
PDF · BibTeX
top cps theory