Artificial Intelligence (AI)–assisted software systems now play a central role in critical aspects of modern life, routinely making safety-critical, socio-critical, and legal-critical decisions at scale. Representative examples include autonomous vehicles deciding when to stop, implantable pacemakers determining when to deliver therapy, and the COMPAS (Correctional Offender Management Profiling for Alternative Sanctions) system assessing recidivism risk. These systems are inherently data-driven, adapting their behavior based on experience derived from curated datasets in supervised learning, latent structure uncovered through unsupervised learning, or interaction data guided by carefully designed reward signals in reinforcement learning. Dr. Ashutosh Trivedi’s research addresses the challenge of providing rigorous system-level guarantees for such adaptive systems. His work develops and applies formal methods to improve the safety, security, fairness, and accountability of data-driven software, with particular emphasis on learning-enabled and decision-critical systems.
What is Your Discount Factor?.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
322-336.
2024
Assume-Guarantee Reinforcement Learning.
Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence.
21223-21231.
2024
Neural Closure Certificates.
Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence.
21446-21453.
2024
Omega-Regular Decision Processes.
Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence.
21125-21133.
2024
Transfer Learning for Barrier Certificates.
Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control.
8000-8005.
2023
Optimal Repair for Omega-Regular Properties.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
354-370.
2022
Selectively-Amortized Resource Bounding.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
286-307.
2021
Regular Model Checking with Regular Relations.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
190-203.
2021
Quantitative Mitigation of Timing Side Channels.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
140-160.
2019
Reinforcement Learning and Formal Requirements.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
26-41.
2019
Discriminating Traces with Time.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
21-37.
2017
On Pure Nash Equilibria in Stochastic Games.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
359-371.
2015
Playing Stochastic Games Precisely.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
348-363.
2012
