Winter 2025
File index, Files
- Scalable Importance Sampling in High Dimensions with Low-Rank Mixture Proposals
- Failure Analysis of Vision-Based Autonomous Aircraft Taxiing Systems
- Adaptive Safety Validation for Autonomous GNC Systems
- Evaluating Silent Data Corruption Detection Tools using QEMU-based Fault Injection
- Blindspot: Empirical Validation of Embodied LLM Agents in Safety-Critical Environments
- Reinforcement Learning for Intraday Option Trading with Explainability
- Validation of a Sensor Mesh Network for Wildfire Smoke Monitoring
- An Approach for Verification of Object Detector
- Contextual Language Model Failure Probability
- An Approach for Verification of Object Detector
- Current Imbalance in a HV Battery Module with Stochastic Resistance Models
- Wildfire Evacuation Model Agent Policies Validation
- Stress-Testing Autonomous Vehicle Systems Under Environmental Uncertainty
- Failure Probability Estimation in the F-16 Ground Collision Avoidance System
- Enhancing Adaptive Stress Testing for Autonomous Vehicles Using Curriculum Learning
- NIMBLE: Navigation in Implicit Maps by Bounding Learned Evaluations
- A Safety Validation Pipeline for Autonomous Driving Agents
- A Teleoperation Validation Framework: Integrating Network Quality, Vehicle Dynamics, and Human Factors
- Highway to Hell: Understanding Failure Conditions for Autonomous Vehicles in Mandatory Lane Change Environments
- Hamiltonian Jacobi Reachability under dynamic obstacles
- Fuzzing-Based Sensor Degradation Analysis for a Planetary Exploration Vehicle
- Safety Validation of UAV Search Coverage Task
- Autonomous Rover Navigation
- Efficiently Finding Likely Failures in Self-Driving Trucking Algorithms
- Protecting Learning-based Agents from Out-of-Distribution Failures with Latent Space Dynamics Forecasting
- Wildfire Evacuation Validation for Low Fuel Environments
- Certainty in Volatility: Validation Models for Commodities Trading
- Failure Probability Estimation for Robotic Grasping
- Verification of Observation-Based Controllers under Perceptual Uncertainties via Hamilton-Jacobi Reachability Analysis
- Validation of AVOIDDS in Critical Encounters
- Fallback-Safe Control with Conformalized Neural Network Ensembles and MPC
- Use of False-Positive Probability Estimation to Optimize RFI Detection Thresholds
- STL-Verify: Automated Compliance Validation for AI-Generated Content Using Signal Temporal Logic