Tag: formalRL

1. Asymmetrically Discounted Stochastic Games

   Sarvin Bahmani, Soumyajit Paul, Sven Schewe, Shadi Tasdighi Kalat, Ashutosh Trivedi.

   CONCUR, 2026

   Paper (PDF) · Publisher · BibTeX

2. Social Welfare under Heterogeneous Time Preferences

   Sarvin Bahmani, Soumyajit Paul, Sven Schewe, Shadi Tasdighi Kalat, Ashutosh Trivedi.

   IJCAI–ECAI 2026 (to appear)

   Paper (PDF) · arXiv · BibTeX

3. Continuous-Time Reward Machines

   Amin Falah, Shibashis Guha, Ashutosh Trivedi.

   IJCAI, 2025

   Paper (PDF) · Proceedings · Publisher · BibTeX

4. Regular Reinforcement Learning

   Taylor Dohmen, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi.

   CAV, 2024
   CAV Distinguished Paper Award

   Paper (PDF) · Publisher · BibTeX

5. Recursive Reinforcement Learning

   Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak.

   NeurIPS, 2022

   Paper (PDF) · arXiv · BibTeX

6. Omega-Regular Objectives in Model-Free Reinforcement Learning

   Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak.

   TACAS, 2019

   Paper (PDF) · arXiv · Publisher · BibTeX