Mark Koren
American Institute of Aeronautics and Astronautics(US)Stanford University(US)
Publications by Year
Research Areas
Autonomous Vehicle Technology and Safety, Software Testing and Debugging Techniques, Formal Methods in Verification, Reinforcement Learning in Robotics, Traffic control and management
Most-Cited Works
- → Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims(2020)212 cited
- → Adaptive Stress Testing for Autonomous Vehicles(2018)184 cited
- → A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems(2021)101 cited
- A Survey of Algorithms for Black-Box Safety Validation.(2020)
- → Finding Failures in High-Fidelity Simulation using Adaptive Stress Testing and the Backward Algorithm(2021)25 cited
- → The Adaptive Stress Testing Formulation(2020)9 cited
- → Efficient Autonomy Validation in Simulation with Adaptive Stress Testing(2019)5 cited
- → Adaptive Stress Testing without Domain Heuristics using Go-Explore(2020)3 cited