Tag: top

1. Stochastic Neural Simulation Relations for Control Transfer

   Alireza Nadali, Ashutosh Trivedi, Majid Zamani.

   NeuS, 2025
   DARPA Disruptive Idea Award

   Paper (PDF) · BibTeX

2. Closure Certificates

   Vishnu Murali, Ashutosh Trivedi, Majid Zamani.

   HSCC 2024

   Paper (PDF) · arXiv · Publisher · BibTeX

3. Regular Reinforcement Learning

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

   CAV, 2024
   CAV Distinguished Paper Award

   Paper (PDF) · Publisher · BibTeX

4. Metamorphic Testing and Debugging of Tax Preparation Software

   Saeid Tizpaz-Niari, Verya Monjezi, Morgan Wagner, Shiva Darian, Krystia Reed, Ashutosh Trivedi.

   ICSE-SEIS 2023

   Paper (PDF) · arXiv · 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