Updates on papers, talks, awards, and group milestones.
Aug 2025
Teaching CSCI 5444 (Introduction to the Theory of Computation) this term.
Aug 2025
Our research on AI explainability in Sudoku was featured in CNET.
Aug 2025
New arXiv preprint with Maria Leonor Pacheco, Fabio Somenzi, and Dananjay Srinivas: Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions.
Aug 2025
Paper accepted at ASE 2025: Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations.
Aug 2025
Paper accepted for presentation at CDC 2025: Objective Improvement Algorithm for Controller Synthesis in Uncertain Environments.
Jun 2025
Gave a DIMAP seminar on hyperproperties at the University of Warwick.
Jun 2025
Paper accepted to ICSE 2026: An LLM Agentic Approach for Legal-Critical Software: A Case Study for Tax Prep Software. Authors: Sina Gogani Khiabani, Ashutosh Trivedi, Diptikalyan Saha, and Saeid Tizpaz-Niari.
Jun 2025
Shadi Tasdighi Kalat successfully defended her thesis: Eliciting Decision Proxies in Multi-Agent Games.
May 2025
Paper accepted to QEST+FORMATS: On Choice of Loss Functions for Neural Control Barrier Certificates. Authors: Alireza Nadali, Ashutosh Trivedi, and Majid Zamani.
May 2025
Paper Stochastic Neural Simulation Relations for Transferring Control under Uncertainty received a NeuS 2025 Disruptive Idea Award.
Apr 2025
Paper accepted to IJCAI: Continuous Time Reward Machines. Authors: Amin Falah, Shibashis Guha, and Ashutosh Trivedi.
Apr 2025
NeuS'25 paper Stochastic Neural Simulation Relations for Transferring Control under Uncertainty accepted for oral presentation. Authors: Alireza Nadali, Ashutosh Trivedi, and Majid Zamani.
Apr 2025
Mateo Perez successfully defended his thesis: Formal Languages and Automata for Reinforcement Learning.
Dec 2024
John Komp successfully defended his thesis: From Text to Life: Optimized Pacemaker Therapy Through Formal Methods and Safe Reinforcement Learning.
Nov 2024
Began my sabbatical at the University of Liverpool, UK.
Oct 2024
I received the recognition of being named a Senior Member of the ACM.
Sep 2024
Received the Royal Society Wolfson Visiting Fellowship.
Jul 2024
We received a Distinguished Paper Award at CAV for our paper: Regular Reinforcement Learning.
Jul 2024
Vishnu Murali successfully defended his thesis: Inductive Functional Proofs Beyond Barrier Certificates.
Apr 2024
Taylor Dohmen successfully defended his thesis: Regular Transformations in Sequential Optimization & Reinforcement Learning.