activity
20142023
most citedA Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems

113 citations · 140 across the 7 of their papers we have counts for

collaborators

7 papers

cs.AI2023★ 3 cited

BetaZero: Belief-State Planning for Long-Horizon POMDPs using Learned Approximations

Robert J. Moss, Anthony Corso, Jef Caers +1

Real-world planning problems, including autonomous driving and sustainable energy applications like carbon storage and resource exploration, have recently been modeled as partially…

cs.LG2023★ 8 cited

Bayesian Safety Validation for Failure Probability Estimation of Black-Box Systems

Robert J. Moss, Mykel J. Kochenderfer, Maxime Gariel +1

Estimating the probability of failure is an important step in the certification of safety-critical systems. Efficient estimation methods are often needed due to the challenges pose…

cs.CY2022

Prioritizing emergency evacuations under compounding levels of uncertainty

Lisa J. Einstein, Robert J. Moss, Mykel J. Kochenderfer

Well-executed emergency evacuations can save lives and reduce suffering. However, decision makers struggle to determine optimal evacuation policies given the chaos, uncertainty, an…

cs.LG2020

Adaptive Stress Testing of Trajectory Predictions in Flight Management Systems

Robert J. Moss, Ritchie Lee, Nicholas Visser +3

To find failure events and their likelihoods in flight-critical systems, we investigate the use of an advanced black-box stress testing approach called adaptive stress testing. We…

cs.LG2020★ 5 cited

Cross-Entropy Method Variants for Optimization

Robert J. Moss

The cross-entropy (CE) method is a popular stochastic method for optimization due to its simplicity and effectiveness. Designed for rare-event simulations where the probability of…

cs.LG2020★ 113 cited

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…