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
14942018
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
2562018
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
1532020
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
1012019
Efficient black-box assessment of autonomous vehicle safety
J Norden, M O'Kelly, A Sinha
arXiv preprint arXiv:1912.03618, 2019
822019
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
49*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
45*2020
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
442020
APEX: Autonomous vehicle plan verification and execution
ME O'Kelly, H Abbas, S Gao, S Kato, S Shiraishi, R Mangharam
SAE Technical Paper, 2016
402016
BayesRace: Learning to race autonomously using prior experience
A Jain, M O'Kelly, P Chaudhari, M Morari
arXiv preprint arXiv:2005.04755, 2020
372020
Computer-aided design for safe autonomous vehicles
M O'Kelly, H Abbas, R Mangharam
2017 Resilience Week (RWS), 90-96, 2017
372017
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
352019
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
342020
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
302015
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
242020
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
172015
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
162020
A driver’s license test for driverless vehicles
H Abbas, ME O’Kelly, A Rodionova, R Mangharam
Mechanical Engineering 139 (12), S13-S16, 2017
162017
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