Tag: theory

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. Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions

   Maria Leonor Pacheco, Fabio Somenzi, Dananjay Srinivas, Ashutosh Trivedi.

   arXiv, 2025

   Paper (PDF) · arXiv · BibTeX

4. Objective Improvement Algorithm for Controller Synthesis in Uncertain Environments

   Daniele Dell’Erba, Sven Schewe, Ashutosh Trivedi.

   CDC, 2025

   Paper (PDF) · Publisher · BibTeX

5. Closure Certificates

   Vishnu Murali, Ashutosh Trivedi, Majid Zamani.

   HSCC 2024

   Paper (PDF) · arXiv · Publisher · BibTeX

6. Recursive Reinforcement Learning

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

   NeurIPS, 2022

   Paper (PDF) · arXiv · BibTeX

7. 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