Matthew O'Kelly

According to our database, Matthew O'Kelly authored at least 18 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Resolving uncertainty on the fly: Modeling adaptive driving behavior as active inference.

Johan Engström, Ran Wei, Anthony D. McDonald, Alfredo Garcia, Matthew O'Kelly, Leif Johnson

CoRR, 2023

An active inference model of car following: Advantages and applications.

Ran Wei, Anthony D. McDonald, Alfredo Garcia, Gustav Markkula, Johan Engström, Matthew O'Kelly

CoRR, 2023

2022

World Model Learning from Demonstrations with Active Inference: Application to Driving Behavior.

Ran Wei, Alfredo Garcia, Anthony D. McDonald, Gustav Markkula, Johan Engström, Isaac Supeene, Matthew O'Kelly

Proceedings of the Active Inference - Third International Workshop, 2022

Embedding Synthetic Off-Policy Experience for Autonomous Driving via Zero-Shot Curricula.

Eli Bronstein, Sirish Srinivasan, Supratik Paul, Aman Sinha, Matthew O'Kelly, Payam Nikdel, Shimon Whiteson

Proceedings of the Conference on Robot Learning, 2022

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

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

Neural Bridge Sampling for Evaluating Safety-Critical Autonomous Systems.

Aman Sinha, Matthew O'Kelly, Russ Tedrake, John C. Duchi

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

TUNERCAR: A Superoptimization Toolchain for Autonomous Racing.

Matthew O'Kelly, Hongrui Zheng, Achin Jain, Joseph Auckley, Kim Luong, Rahul Mangharam

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

FormulaZero: Distributionally Robust Online Adaptation via Offline Population Synthesis.

Aman Sinha, Matthew O'Kelly, Hongrui Zheng, Rahul Mangharam, John C. Duchi, Russ Tedrake

Proceedings of the 37th International Conference on Machine Learning, 2020

BayesRace: Learning to race autonomously using prior experience.

Achin Jain, Matthew O'Kelly, Pratik Chaudhari, Manfred Morari

Proceedings of the 4th Conference on Robot Learning, 2020

2019

Efficient Black-box Assessment of Autonomous Vehicle Safety.

Justin Norden, Matthew O'Kelly, Aman Sinha

CoRR, 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

F1TENTH: An Open-source Evaluation Environment for Continuous Control and Reinforcement Learning.

Matthew O'Kelly, Hongrui Zheng, Dhruv Karthik, Rahul Mangharam

Proceedings of the NeurIPS 2019 Competition and Demonstration Track, 2019

2018

In-silico Risk Analysis of Personalized Artificial Pancreas Controllers via Rare-event Simulation.

Matthew O'Kelly, Aman Sinha, Justin Norden, Hongseok Namkoong

CoRR, 2018

Scalable End-to-End Autonomous Vehicle Testing via Rare-event Simulation.

Matthew O'Kelly, Aman Sinha, Hongseok Namkoong, Russ Tedrake, John C. Duchi

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

2017

Relaxed Decidability and the Robust Semantics of Metric Temporal Logic.

Houssam Abbas, Matthew O'Kelly, Rahul Mangharam

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles.

Houssam Abbas, Matthew O'Kelly, Alëna Rodionova, Rahul Mangharam

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

An Autonomous Vehicle Control Stack.

Alëna Rodionova, Matthew O'Kelly, Houssam Abbas, Vincent Pacelli, Rahul Mangharam

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

2015

An Intraoperative Glucose Control Benchmark for Formal Verification.

Sanjian Chen, Matthew O'Kelly, James Weimer, Oleg Sokolsky, Insup Lee

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015