Selected Publications

Continuous-Time Reward Machines
Amin Falah, Shibashis Guha, Ashutosh Trivedi
Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2025, Montreal, Canada, August 16-22, 2025 (2025)
PDF 路 BibTeX
formalRL
Stochastic Neural Simulation Relations for Control Transfer
馃弳 DARPA Disruptive Idea Award
Alireza Nadali, Ashutosh Trivedi, Majid Zamani
NeuS (2025)
PDF 路 BibTeX
cps top award
Fairness Testing through Extreme Value Theory
Verya Monjezi, Ashutosh Trivedi, Vladik Kreinovich, Saeid Tizpaz-Niari
ICSE '25: Proceedings of the IEEE/ACM 47th International Conference on Software Engineering (2025)
PDF 路 BibTeX
accountableSE
Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations
Ranit Akash, Ashish Kumar, Verya Monjezi, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari
ASE 2025 (2025)
PDF 路 BibTeX 路 Slides
accountableSE trustworthyAI ai
Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions
Maria Leonor Pacheco, Fabio Somenzi, Dananjay Srinivas, Ashutosh Trivedi
arXiv (2025)
PDF 路 BibTeX
trustworthyAI theory ai
Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku
Anirudh Maiya, Razan Alghamdi, Maria Leonor Pacheco, Ashutosh Trivedi, Fabio Somenzi
Findings of the Association for Computational Linguistics, {ACL} 2025, Vienna, Austria, July 27 - August 1, 2025 (2025)
PDF 路 BibTeX
trustworthyAI
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
Fairness-aware Configuration of Machine Learning Libraries
Saeid Tizpaz-Niari, Ashish Kumar, Gang (Gary) Tan, Ashutosh Trivedi
ICSE 2022 (2022)
PDF 路 BibTeX
accountableSE 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

All Publications

Continuous-Time Reward Machines
Amin Falah, Shibashis Guha, Ashutosh Trivedi
Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2025, Montreal, Canada, August 16-22, 2025 (2025)
PDF 路 BibTeX
formalRL
Stochastic Neural Simulation Relations for Control Transfer
馃弳 DARPA Disruptive Idea Award
Alireza Nadali, Ashutosh Trivedi, Majid Zamani
NeuS (2025)
PDF 路 BibTeX
cps top award
Fairness Testing through Extreme Value Theory
Verya Monjezi, Ashutosh Trivedi, Vladik Kreinovich, Saeid Tizpaz-Niari
ICSE '25: Proceedings of the IEEE/ACM 47th International Conference on Software Engineering (2025)
PDF 路 BibTeX
accountableSE
Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations
Ranit Akash, Ashish Kumar, Verya Monjezi, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari
ASE 2025 (2025)
PDF 路 BibTeX 路 Slides
accountableSE trustworthyAI ai
Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions
Maria Leonor Pacheco, Fabio Somenzi, Dananjay Srinivas, Ashutosh Trivedi
arXiv (2025)
PDF 路 BibTeX
trustworthyAI theory ai
Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku
Anirudh Maiya, Razan Alghamdi, Maria Leonor Pacheco, Ashutosh Trivedi, Fabio Somenzi
Findings of the Association for Computational Linguistics, {ACL} 2025, Vienna, Austria, July 27 - August 1, 2025 (2025)
PDF 路 BibTeX
trustworthyAI
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
Fairness-aware Configuration of Machine Learning Libraries
Saeid Tizpaz-Niari, Ashish Kumar, Gang (Gary) Tan, Ashutosh Trivedi
ICSE 2022 (2022)
PDF 路 BibTeX
accountableSE 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