Matthew O'Kelly

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 22

Top Topics

Formal Verification

Driving Behavior

Top Venues

Publications

Johan Engström, Ran Wei, Anthony D. McDonald, Alfredo García, Matthew O'Kelly, Leif Johnson
Resolving uncertainty on the fly: modeling adaptive driving behavior as active inference. Frontiers Neurorobotics 18 (2024)
Ran Wei, Anthony D. McDonald, Alfredo Garcia, Gustav Markkula, Johan Engström, Matthew O'Kelly
An active inference model of car following: Advantages and applications. CoRR (2023)
Johan Engström, Ran Wei, Anthony D. McDonald, Alfredo Garcia, Matthew O'Kelly, Leif Johnson
Resolving uncertainty on the fly: Modeling adaptive driving behavior as active inference. CoRR (2023)
Eli Bronstein, Sirish Srinivasan, Supratik Paul, Aman Sinha, Matthew O'Kelly, Payam Nikdel, Shimon Whiteson
Embedding Synthetic Off-Policy Experience for Autonomous Driving via Zero-Shot Curricula. CoRR (2022)
Ran Wei, Alfredo Garcia, Anthony D. McDonald, Gustav Markkula, Johan Engström, Isaac Supeene, Matthew O'Kelly
World Model Learning from Demonstrations with Active Inference: Application to Driving Behavior. IWAI (2022)
Eli Bronstein, Sirish Srinivasan, Supratik Paul, Aman Sinha, Matthew O'Kelly, Payam Nikdel, Shimon Whiteson
Embedding Synthetic Off-Policy Experience for Autonomous Driving via Zero-Shot Curricula. CoRL (2022)
Achin Jain, Matthew O'Kelly, Pratik Chaudhari, Manfred Morari
BayesRace: Learning to race autonomously using prior experience. CoRL (2020)
Aman Sinha, Matthew O'Kelly, John C. Duchi, Russ Tedrake
Neural Bridge Sampling for Evaluating Safety-Critical Autonomous Systems. CoRR (2020)
Matthew O'Kelly, Hongrui Zheng, Achin Jain, Joseph Auckley, Kim Luong, Rahul Mangharam
TUNERCAR: A Superoptimization Toolchain for Autonomous Racing. ICRA (2020)
Aman Sinha, Matthew O'Kelly, Hongrui Zheng, Rahul Mangharam, John C. Duchi, Russ Tedrake
FormulaZero: Distributionally Robust Online Adaptation via Offline Population Synthesis. CoRR (2020)
Abhijeet Agnihotri, Matthew O'Kelly, Rahul Mangharam, Houssam Abbas
Teaching Autonomous Systems at 1/10th-scale: Design of the F1/10 Racecar, Simulators and Curriculum. SIGCSE (2020)
Aman Sinha, Matthew O'Kelly, Hongrui Zheng, Rahul Mangharam, John C. Duchi, Russ Tedrake
FormulaZero: Distributionally Robust Online Adaptation via Offline Population Synthesis. ICML (2020)
Aman Sinha, Matthew O'Kelly, Russ Tedrake, John C. Duchi
Neural Bridge Sampling for Evaluating Safety-Critical Autonomous Systems. NeurIPS (2020)
Matthew O'Kelly, Hongrui Zheng, Dhruv Karthik, Rahul Mangharam
F1TENTH: An Open-source Evaluation Environment for Continuous Control and Reinforcement Learning. NeurIPS (Competition and Demos) (2019)
Justin Norden, Matthew O'Kelly, Aman Sinha
Efficient Black-box Assessment of Autonomous Vehicle Safety. CoRR (2019)
Matthew O'Kelly, Varundev Sukhil, Houssam Abbas, Jack Harkins, Chris Kao, Yash Vardhan Pant, Rahul Mangharam, Dipshil Agarwal, Madhur Behl, Paolo Burgio, Marko Bertogna
F1/10: An Open-Source Autonomous Cyber-Physical Platform. CoRR (2019)
Matthew O'Kelly, Aman Sinha, Hongseok Namkoong, Russ Tedrake, John C. Duchi
Scalable End-to-End Autonomous Vehicle Testing via Rare-event Simulation. NeurIPS (2018)
Matthew O'Kelly, Aman Sinha, Justin Norden, Hongseok Namkoong
In-silico Risk Analysis of Personalized Artificial Pancreas Controllers via Rare-event Simulation. CoRR (2018)
Matthew O'Kelly, Aman Sinha, Hongseok Namkoong, John C. Duchi, Russ Tedrake
Scalable End-to-End Autonomous Vehicle Testing via Rare-event Simulation. CoRR (2018)
Houssam Abbas, Matthew O'Kelly, Alëna Rodionova, Rahul Mangharam
Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles. CyPhy (2017)
Alëna Rodionova, Matthew O'Kelly, Houssam Abbas, Vincent Pacelli, Rahul Mangharam
An Autonomous Vehicle Control Stack. ARCH@CPSWeek (2017)
Houssam Abbas, Matthew O'Kelly, Rahul Mangharam
Relaxed Decidability and the Robust Semantics of Metric Temporal Logic. HSCC (2017)
Sanjian Chen, Matthew O'Kelly, James Weimer, Oleg Sokolsky, Insup Lee
An Intraoperative Glucose Control Benchmark for Formal Verification. ADHS (2015)