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, 9827-9838, 2018
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
Computer-aided design for safe autonomous vehicles
M O'Kelly, H Abbas, R Mangharam
2017 Resilience Week (RWS), 90-96, 2017
APEX: Autonomous vehicle plan verification and execution
M O'Kelly, H Abbas, S Gao, S Shiraishi, S Kato, R Mangharam
Safe at any speed: A simulation-based test harness for autonomous vehicles
H Abbas, M O’Kelly, A Rodionova, R Mangharam
International Workshop on Design, Modeling, and Evaluation of Cyber Physical …, 2017
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
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
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
Efficient black-box assessment of autonomous vehicle safety
J Norden, M O'Kelly, A Sinha
arXiv preprint arXiv:1912.03618, 2019
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
A driver’s license test for driverless vehicles
H Abbas, ME O’Kelly, A Rodionova, R Mangharam
Mechanical Engineering 139 (12), S13-S16, 2017
Simulated hygrothermal performance of a Passivhaus in a mixed humid climate under dynamic load
M O’Kelly, ME Walter, JR Rowland
Energy and buildings 81, 211-218, 2014
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
An autonomous vehicle control stack
A Rodionova, M O'Kelly, H Abbas, V Pacelli, R Mangharam
EPiC Series in Computing 48, 44-51, 2017
textscF1TENTH: 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
Dispenser control user interface
DR Newman, CB Green, JR Eder, B Eder, EM Gandelman, HC Peden III, ...
US Patent App. 16/308,624, 2019
In-silico Risk Analysis of Personalized Artificial Pancreas Controllers via Rare-event Simulation
M O'Kelly, A Sinha, J Norden, H Namkoong
arXiv preprint arXiv:1812.00293, 2018
Neural Bridge Sampling for Evaluating Safety-Critical Autonomous Systems
A Sinha, M O'Kelly, J Duchi, R Tedrake
arXiv preprint arXiv:2008.10581, 2020
Methods, systems, and computer readable media involving a content coupled physical activity surface
R Mangharam, O Telhan, KJ Jang, ME O'kelly
US Patent 10,642,360, 2020
The system can't perform the operation now. Try again later.
Articles 1–20