Matthew O'Kelly
Matthew O'Kelly
Verified email at seas.upenn.edu
Title
Cited by
Cited by
Year
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
5472018
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
422018
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
232019
Computer-aided design for safe autonomous vehicles
M O'Kelly, H Abbas, R Mangharam
2017 Resilience Week (RWS), 90-96, 2017
232017
APEX: Autonomous vehicle plan verification and execution
M O'Kelly, H Abbas, S Gao, S Shiraishi, S Kato, R Mangharam
21*2016
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
20*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
202015
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
142015
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
92020
Efficient black-box assessment of autonomous vehicle safety
J Norden, M O'Kelly, A Sinha
arXiv preprint arXiv:1912.03618, 2019
92019
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
9*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
82017
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
82014
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
3*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
22017
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
12020
Dispenser control user interface
DR Newman, CB Green, JR Eder, B Eder, EM Gandelman, HC Peden III, ...
US Patent App. 16/308,624, 2019
12019
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
12018
Neural Bridge Sampling for Evaluating Safety-Critical Autonomous Systems
A Sinha, M O'Kelly, J Duchi, R Tedrake
arXiv preprint arXiv:2008.10581, 2020
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
2020
The system can't perform the operation now. Try again later.
Articles 1–20