Trivedi, Ashutosh

8 publications

IJCAI 2025 Continuous-Time Reward Machines Amin Falah, Shibashis Guha, Ashutosh Trivedi

AAAI 2024 A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs Mateo Perez, Fabio Somenzi, Ashutosh Trivedi

AAAI 2024 Assume-Guarantee Reinforcement Learning Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez

AAAI 2024 Neural Closure Certificates Alireza Nadali, Vishnu Murali, Ashutosh Trivedi, Majid Zamani

AAAI 2024 Omega-Regular Decision Processes Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak

AAAI 2023 Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi

NeurIPS 2022 Recursive Reinforcement Learning Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak

AAAI 2018 Differential Performance Debugging with Discriminant Regression Trees Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi