Research
Publications
Group
Teaching
Bio
Contact
Award-winning papers
Stochastic Neural Simulation Relations for Control Transfer
🏆 DARPA Disruptive Idea Award
Alireza Nadali, Ashutosh Trivedi, Majid Zamani
NeuS
(2025)
PDF
·
BibTeX
cps
top
award
Regular Reinforcement Learning
🏆 CAV Distinguished Paper Award
Taylor Dohmen, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
CAV
(2024)
PDF
·
BibTeX
top
award
formalrl
trustworthyAI