Selected Publications

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
Closure Certificates
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
HSCC 2024 (2024)
PDF 路 BibTeX
top cps theory
Metamorphic Testing and Debugging of Tax Preparation Software
Saeid Tizpaz-Niari, Verya Monjezi, Morgan Wagner, Shiva Darian, Krystia Reed, Ashutosh Trivedi
ICSE-SEIS 2023 (2023)
PDF 路 BibTeX
accountableSE top trustworthyAI
Recursive Reinforcement Learning
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
NeurIPS (2022)
PDF 路 BibTeX
top formalrl theory trustworthyAI
Omega-Regular Objectives in Model-Free Reinforcement Learning
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
TACAS (2019)
PDF 路 BibTeX
formalrl theory top trustuworthyAI