219 citations · 346 across the 5 of their papers we have counts for
4 papers · 1 filter
A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems
Anthony Corso, Robert J. Moss, Mark Koren +2
Autonomous cyber-physical systems (CPS) can improve safety and efficiency for safety-critical applications, but require rigorous testing before deployment. The complexity of these…
Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims
Miles Brundage, Shahar Avin, Jasmine Wang +56
With the recent wave of progress in artificial intelligence (AI) has come a growing awareness of the large-scale impacts of AI systems, and recognition that existing regulations an…
The Adaptive Stress Testing Formulation
Mark Koren, Anthony Corso, Mykel J. Kochenderfer
Validation is a key challenge in the search for safe autonomy. Simulations are often either too simple to provide robust validation, or too complex to tractably compute. Therefore,…
Adaptive Stress Testing without Domain Heuristics using Go-Explore
Mark Koren, Mykel J. Kochenderfer
Recently, reinforcement learning (RL) has been used as a tool for finding failures in autonomous systems. During execution, the RL agents often rely on some domain-specific heurist…