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