 Learning Temporal Logic Predicates from Data with Statistical GuaranteesConference on Learning for Dynamics & Control (L4DC), 2024 |
 RADIUM: Predicting and Repairing End-to-End Robot Failures using
Gradient-Accelerated SamplingIEEE Transactions on robotics (IEEE Trans. Robot.), 2024 |
 A Bayesian approach to breaking things: efficiently predicting and
repairing failure modes via samplingConference on Robot Learning (CoRL), 2023 Charles Dawson Chuchu Fan |
 Self-Improving Safety Performance of Reinforcement Learning Based
Driving with Black-Box Verification AlgorithmsIEEE International Conference on Robotics and Automation (ICRA), 2022 |
 The Reasonable Crowd: Towards evidence-based and interpretable models of
driving behaviorIEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2021 |
 A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical
SystemsJournal of Artificial Intelligence Research (JAIR), 2020 |
