 Barrier-Based Test Synthesis for Safety-Critical Systems Subject to
Timed Reach-Avoid SpecificationsIEEE Transactions on Automatic Control (TAC), 2023 |
 A Mapping of Assurance Techniques for Learning Enabled Autonomous
Systems to the Systems Engineering LifecycleInternational Conference on Applied Algorithms (ICAA), 2022 |
 Control Barriers in Bayesian Learning of System DynamicsIEEE Transactions on Automatic Control (TAC), 2020 |
 Probabilistic Safety Constraints for Learned High Relative Degree System
DynamicsConference on Learning for Dynamics & Control (L4DC), 2019 |