Matthew O'Kelly

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Resolving uncertainty on the fly: modeling adaptive driving behavior as active inference.
Frontiers Neurorobotics, 2024

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

2022
World Model Learning from Demonstrations with Active Inference: Application to Driving Behavior.
Proceedings of the Active Inference - Third International Workshop, 2022

Embedding Synthetic Off-Policy Experience for Autonomous Driving via Zero-Shot Curricula.
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.
Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

Neural Bridge Sampling for Evaluating Safety-Critical Autonomous Systems.
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.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

FormulaZero: Distributionally Robust Online Adaptation via Offline Population Synthesis.
Proceedings of the 37th International Conference on Machine Learning, 2020

BayesRace: Learning to race autonomously using prior experience.
Proceedings of the 4th Conference on Robot Learning, 2020

2019
Efficient Black-box Assessment of Autonomous Vehicle Safety.
CoRR, 2019

F1/10: An Open-Source Autonomous Cyber-Physical Platform.
CoRR, 2019

F1TENTH: An Open-source Evaluation Environment for Continuous Control and Reinforcement Learning.
Proceedings of the NeurIPS 2019 Competition and Demonstration Track, 2019

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

Scalable End-to-End Autonomous Vehicle Testing via Rare-event Simulation.
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.
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.
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

An Autonomous Vehicle Control Stack.
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.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015


  Loading...