An Intraoperative Glucose Control Benchmark for Formal Verification. - Sanjian Chen; Matthew O'Kelly; James Weimer; Oleg Sokolsky; Insup Lee 001 (ADHS, 2015)

An Autonomous Vehicle Control Stack. - Alëna Rodionova; Matthew O'Kelly; Houssam Abbas; Vincent Pacelli; Rahul Mangharam (ARCH@CPSWeek, 2017)

Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles. - Houssam Abbas; Matthew O'Kelly; Alëna Rodionova; Rahul Mangharam (CyPhy, 2017)

Relaxed Decidability and the Robust Semantics of Metric Temporal Logic. - Houssam Abbas; Matthew O'Kelly; Rahul Mangharam (HSCC, 2017)

Scalable End-to-End Autonomous Vehicle Testing via Rare-event Simulation. - Matthew O'Kelly; Aman Sinha 001; Hongseok Namkoong; Russ Tedrake; John C. Duchi (NeurIPS, 2018)

In-silico Risk Analysis of Personalized Artificial Pancreas Controllers via Rare-event Simulation. - Matthew O'Kelly; Aman Sinha 001; Justin Norden; Hongseok Namkoong (CoRR, 2018)

F1TENTH: An Open-source Evaluation Environment for Continuous Control and Reinforcement Learning. - Matthew O'Kelly; Hongrui Zheng; Dhruv Karthik; Rahul Mangharam (NeurIPS (Competition and Demos), 2019)

F1/10: An Open-Source Autonomous Cyber-Physical Platform. - Matthew O'Kelly; Varundev Sukhil; Houssam Abbas; Jack Harkins; Chris Kao; Yash Vardhan Pant; Rahul Mangharam; Dipshil Agarwal; Madhur Behl; Paolo Burgio; Marko Bertogna (CoRR, 2019)

Efficient Black-box Assessment of Autonomous Vehicle Safety. - Justin Norden; Matthew O'Kelly; Aman Sinha 001 (CoRR, 2019)

BayesRace: Learning to race autonomously using prior experience. - Achin Jain; Matthew O'Kelly; Pratik Chaudhari; Manfred Morari (CoRL, 2020)

FormulaZero: Distributionally Robust Online Adaptation via Offline Population Synthesis. - Aman Sinha 001; Matthew O'Kelly; Hongrui Zheng; Rahul Mangharam; John C. Duchi; Russ Tedrake (ICML, 2020)

TUNERCAR: A Superoptimization Toolchain for Autonomous Racing. - Matthew O'Kelly; Hongrui Zheng; Achin Jain; Joseph Auckley; Kim Luong; Rahul Mangharam (ICRA, 2020)

Neural Bridge Sampling for Evaluating Safety-Critical Autonomous Systems. - Aman Sinha 001; Matthew O'Kelly; Russ Tedrake; John C. Duchi (NeurIPS, 2020)

Teaching Autonomous Systems at 1/10th-scale: Design of the F1/10 Racecar, Simulators and Curriculum. - Abhijeet Agnihotri; Matthew O'Kelly; Rahul Mangharam; Houssam Abbas (SIGCSE, 2020)

Embedding Synthetic Off-Policy Experience for Autonomous Driving via Zero-Shot Curricula. - Eli Bronstein; Sirish Srinivasan; Supratik Paul; Aman Sinha 001; Matthew O'Kelly; Payam Nikdel; Shimon Whiteson (CoRL, 2022)

World Model Learning from Demonstrations with Active Inference: Application to Driving Behavior. - Ran Wei; Alfredo García 001; Anthony D. McDonald; Gustav Markkula; Johan Engström; Isaac Supeene; Matthew O'Kelly (IWAI, 2022)

An active inference model of car following: Advantages and applications. - Ran Wei; Anthony D. McDonald; Alfredo García 001; Gustav Markkula; Johan Engström; Matthew O'Kelly (CoRR, 2023)

Resolving uncertainty on the fly: modeling adaptive driving behavior as active inference. - Johan Engström; Ran Wei; Anthony D. McDonald; Alfredo García 001; Matthew O'Kelly; Leif Johnson (Frontiers Neurorobotics, 2024)

Active inference as a unified model of collision avoidance behavior in human drivers. - Julian F. Schumann; Johan Engström; Leif Johnson; Matthew O'Kelly; Joao Messias; Jens Kober; Arkady Zgonnikov (CoRR, 2025)

Learning an Active Inference Model of Driver Perception and Control: Application to Vehicle Car-Following. - Ran Wei; Alfredo García 001; Anthony D. McDonald; Gustav Markkula; Johan Engström; Matthew O'Kelly (IEEE Trans. Intell. Transp. Syst., 2025)