Matthew O'Kelly
Matthew O'Kelly
Verified email at
Cited by
Cited by
Circuitry and sensors for powered medical device
DL Baber, JS Swayze, AT Beckman, CC Miller, CJ Scheib, JJ Float, ...
US Patent 10,111,679, 2018
Scalable end-to-end autonomous vehicle testing via rare-event simulation
M O'Kelly, A Sinha, H Namkoong, R Tedrake, JC Duchi
Advances in neural information processing systems 31, 2018
F1TENTH: An Open-source Evaluation Environment for Continuous Control and Reinforcement Learning
M O’Kelly, H Zheng, D Karthik, R Mangharam
NeurIPS 2019 Competition and Demonstration Track, 77-89, 2020
F1/10: An open-source autonomous cyber-physical platform
M O'Kelly, V Sukhil, H Abbas, J Harkins, C Kao, YV Pant, R Mangharam, ...
arXiv preprint arXiv:1901.08567, 2019
Efficient black-box assessment of autonomous vehicle safety
J Norden, M O'Kelly, A Sinha
arXiv preprint arXiv:1912.03618, 2019
Safe at any speed: A simulation-based test harness for autonomous vehicles
H Abbas, M O’Kelly, A Rodionova, R Mangharam
Cyber Physical Systems. Design, Modeling, and Evaluation: 7th International …, 2019
Tunercar: A superoptimization toolchain for autonomous racing
M O’Kelly, H Zheng, A Jain, J Auckley, K Luong, R Mangharam
2020 IEEE international conference on robotics and automation (ICRA), 5356-5362, 2020
APEX: Autonomous vehicle plan verification and execution
M O'Kelly, H Abbas, S Gao, S Shiraishi, S Kato, R Mangharam
Computer-aided design for safe autonomous vehicles
M O'Kelly, H Abbas, R Mangharam
2017 Resilience Week (RWS), 90-96, 2017
Neural bridge sampling for evaluating safety-critical autonomous systems
A Sinha, M O'Kelly, R Tedrake, JC Duchi
Advances in Neural Information Processing Systems 33, 6402-6416, 2020
Self-cleaning toilet assembly and system
C Bucher, D Grover, R Barndt, F Seggio, J McHale, C Cicenas, M O'kelly
US Patent 10,519,643, 2019
BayesRace: Learning to race autonomously using prior experience
A Jain, M O'Kelly, P Chaudhari, M Morari
arXiv preprint arXiv:2005.04755, 2020
FormulaZero: Distributionally robust online adaptation via offline population synthesis
A Sinha, M O’Kelly, H Zheng, R Mangharam, J Duchi, R Tedrake
International Conference on Machine Learning, 8992-9004, 2020
Simulated hygrothermal performance of a desiccant-assisted hybrid air/water conditioning system in a mixed humid climate under dynamic load
M O’Kelly, ME Walter, JR Rowland
Energy and Buildings 86, 45-57, 2015
Self cleaning toilet assembly and system
C Bucher, D Grover, R Barndt, F Seggio, J McHale, C Cicenas, M O'kelly, ...
US Patent 10,760,255, 2020
Teaching autonomous systems at 1/10th-scale: Design of the f1/10 racecar, simulators and curriculum
A Agnihotri, M O'Kelly, R Mangharam, H Abbas
Proceedings of the 51st ACM Technical Symposium on Computer Science …, 2020
A driver’s license test for driverless vehicles
H Abbas, ME O’Kelly, A Rodionova, R Mangharam
Mechanical Engineering 139 (12), S13-S16, 2017
An intraoperative glucose control benchmark for formal verification
S Chen, M O'Kelly, J Weimer, O Sokolsky, I Lee
IFAC-PapersOnLine 48 (27), 211-217, 2015
World model learning from demonstrations with active inference: application to driving behavior
R Wei, A Garcia, A McDonald, G Markkula, J Engström, I Supeene, ...
International Workshop on Active Inference, 130-142, 2022
Relaxed decidability and the robust semantics of metric temporal logic
H Abbas, M O'Kelly, R Mangharam
Proceedings of the 20th International Conference on Hybrid Systems …, 2017
The system can't perform the operation now. Try again later.
Articles 1–20