Theoretical Computer Science

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
Closure Certificates
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
HSCC 2024 (2024)
PDF · BibTeX
top cps theory
Recursive Reinforcement Learning
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
NeurIPS (2022)
PDF · BibTeX
top formalrl theory 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