Search Results for author:
Found 7 papers, 4 papers with code
Formal and Practical Elements for the Certification of Machine Learning Systems
Over the past decade, machine learning has demonstrated impressive results, often surpassing human capabilities in sensing tasks relevant to autonomous flight.
BetaZero: Belief-State Planning for Long-Horizon POMDPs using Learned Approximations
BetaZero learns offline approximations that replace heuristics to enable online decision making in long-horizon problems.
Bayesian Safety Validation for Black-Box Systems
Accurately estimating the probability of failure for safety-critical systems is important for certification.
Prioritizing emergency evacuations under compounding levels of uncertainty
However, decision makers struggle to determine optimal evacuation policies given the chaos, uncertainty, and value judgments inherent in emergency evacuations.
Adaptive Stress Testing of Trajectory Predictions in Flight Management Systems
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.
Cross-Entropy Method Variants for Optimization
To address local minima convergence, we use Gaussian mixture models to encourage exploration of the design space.
A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems
Autonomous cyber-physical systems (CPS) can improve safety and efficiency for safety-critical applications, but require rigorous testing before deployment.
