Mark Koren

1. Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims
   2020/04/15 by Miles Brundage, Brundage, Miles, Shahar Avin +115 · 2 voices · 21 citations
   #cs.CY
2. Adaptive Stress Testing for Autonomous Vehicles
   2019/02/05 by Mark Koren, Koren, Mark, Saud Alsaif +5 · 5 citations
   Computer Science · Engineering · #Artificial Intelligence (cs.AI) #Autonomous Vehicle Technology and Safety #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Reinforcement Learning in Robotics #Robotics (cs.RO) #Traffic control and management
3. Finding Failures in High-Fidelity Simulation using Adaptive Stress Testing and the Backward Algorithm
   2021/07/27 by Mark Koren, Ahmed Nassar, Koren, Mark +3 · 1 citation
   Engineering · Medicine · #Autonomous Vehicle Technology and Safety #Cardiovascular Function and Risk Factors