Matthew O'Kelly

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Neural Bridge Sampling for Evaluating Safety-Critical Autonomous Systems.
CoRR, 2020

FormulaZero: Distributionally Robust Online Adaptation via Offline Population Synthesis.
CoRR, 2020

Teaching Autonomous Systems at 1/10th-scale: Design of the F1/10 Racecar, Simulators and Curriculum.
Proceedings of the SIGCSE '20: The 51st ACM Technical Symposium on Computer Science Education, 2020

TUNERCAR: A Superoptimization Toolchain for Autonomous Racing.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

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

F1/10: An Open-Source Autonomous Cyber-Physical Platform.
CoRR, 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...