Follow
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
13842018
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
2352018
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
1202020
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
932019
Efficient black-box assessment of autonomous vehicle safety
J Norden, M O'Kelly, A Sinha
arXiv preprint arXiv:1912.03618, 2019
742019
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
45*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
40*2020
APEX: Autonomous vehicle plan verification and execution
M O'Kelly, H Abbas, S Gao, S Shiraishi, S Kato, R Mangharam
402016
Computer-aided design for safe autonomous vehicles
M O'Kelly, H Abbas, R Mangharam
2017 Resilience Week (RWS), 90-96, 2017
372017
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
342020
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
342019
BayesRace: Learning to race autonomously using prior experience
A Jain, M O'Kelly, P Chaudhari, M Morari
arXiv preprint arXiv:2005.04755, 2020
312020
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
302020
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
292015
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
222020
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
152020
A driver’s license test for driverless vehicles
H Abbas, ME O’Kelly, A Rodionova, R Mangharam
Mechanical Engineering 139 (12), S13-S16, 2017
152017
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
152015
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
122022
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
12*2017
The system can't perform the operation now. Try again later.
Articles 1–20