{"total":53,"rows":[{"id":"2305.12032","title":"The Waymo Open Sim Agents Challenge","created":"2023-05-19","cited_by_count":86,"area":null},{"id":"2112.03909","title":"Vehicle trajectory prediction works, but not everywhere","created":"2021-12-07","cited_by_count":39,"area":null},{"id":"2108.01220","title":"OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems","created":"2021-08-03","cited_by_count":38,"area":null},{"id":"2110.15245","title":"From Machine Learning to Robotics: Challenges and Opportunities for Embodied Intelligence","created":"2021-10-28","cited_by_count":35,"area":null},{"id":"2112.00964","title":"A Survey on Scenario-Based Testing for Automated Driving Systems in High-Fidelity Simulation","created":"2021-12-02","cited_by_count":21,"area":null},{"id":"2502.14706","title":"Building reliable sim driving agents by scaling self-play","created":"2025-02-20","cited_by_count":21,"area":null},{"id":"2110.08664","title":"Finding Critical Scenarios for Automated Driving Systems: A Systematic Literature Review","created":"2021-10-16","cited_by_count":12,"area":null},{"id":"2308.14815","title":"Distributionally Robust Statistical Verification with Imprecise Neural Networks","created":"2023-08-28","cited_by_count":12,"area":null},{"id":"2406.07145","title":"Failures Are Fated, But Can Be Faded: Characterizing and Mitigating Unwanted Behaviors in Large-Scale Vision and Language Models","created":"2024-06-11","cited_by_count":11,"area":null},{"id":"2207.03444","title":"Fairness and Bias in Robot Learning","created":"2022-07-07","cited_by_count":10,"area":null},{"id":"2107.12940","title":"Finding Failures in High-Fidelity Simulation using Adaptive Stress Testing and the Backward Algorithm","created":"2021-07-27","cited_by_count":7,"area":null},{"id":"2110.10729","title":"Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees","created":"2021-10-20","cited_by_count":6,"area":null},{"id":"2206.14372","title":"Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic","created":"2022-06-29","cited_by_count":5,"area":null},{"id":"2305.02449","title":"Bayesian Safety Validation for Failure Probability Estimation of Black-Box Systems","created":"2023-05-03","cited_by_count":5,"area":null},{"id":"2110.02739","title":"A Step Towards Efficient Evaluation of Complex Perception Tasks in Simulation","created":"2021-09-28","cited_by_count":4,"area":null},{"id":"2205.10677","title":"Risk-Driven Design of Perception Systems","created":"2022-05-21","cited_by_count":4,"area":null},{"id":"2212.14118","title":"Falsification of Learning-Based Controllers through Multi-Fidelity Bayesian Optimization","created":"2022-12-28","cited_by_count":4,"area":null},{"id":"2111.02204","title":"Certifiable Deep Importance Sampling for Rare-Event Simulation of Black-Box Systems","created":"2021-11-03","cited_by_count":3,"area":null},{"id":"2202.03651","title":"Causal Scene BERT: Improving object detection by searching for challenging groups of data","created":"2022-02-08","cited_by_count":3,"area":null},{"id":"2204.09833","title":"Sample-Based Bounds for Coherent Risk Measures: Applications to Policy Synthesis and Verification","created":"2022-04-21","cited_by_count":3,"area":null},{"id":"2205.11060","title":"Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems","created":"2022-05-23","cited_by_count":3,"area":null},{"id":"2305.09930","title":"Model-based Validation as Probabilistic Inference","created":"2023-05-17","cited_by_count":3,"area":null},{"id":"2310.20493","title":"Requirement falsification for cyber-physical systems using generative models","created":"2023-10-31","cited_by_count":3,"area":null},{"id":"2411.17826","title":"Rate-Informed Discovery via Bayesian Adaptive Multifidelity Sampling","created":"2024-11-26","cited_by_count":3,"area":null},{"id":"2508.09732","title":"Predictive Uncertainty for Runtime Assurance of a Real-Time Computer Vision-Based Landing System","created":"2025-08-13","cited_by_count":3,"area":null},{"id":"2106.10566","title":"Scalable Safety-Critical Policy Evaluation with Accelerated Rare Event Sampling","created":"2021-06-19","cited_by_count":2,"area":null},{"id":"2110.02892","title":"Probabilistic Metamodels for an Efficient Characterization of Complex Driving Scenarios","created":"2021-10-06","cited_by_count":2,"area":null},{"id":"2201.01323","title":"Test and Evaluation of Quadrupedal Walking Gaits through Sim2Real Gap Quantification","created":"2022-01-04","cited_by_count":2,"area":null},{"id":"2205.11057","title":"Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits","created":"2022-05-23","cited_by_count":2,"area":null},{"id":"2211.12470","title":"A Deep Reinforcement Learning Approach to Rare Event Estimation","created":"2022-11-22","cited_by_count":2,"area":null},{"id":"2307.08774","title":"Reflections from the Workshop on AI-Assisted Decision Making for Conservation","created":"2023-07-17","cited_by_count":2,"area":null},{"id":"2310.03217","title":"Formal and Practical Elements for the Certification of Machine Learning Systems","created":"2023-10-05","cited_by_count":2,"area":null},{"id":"2511.02164","title":"ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems","created":"2025-11-04","cited_by_count":2,"area":null},{"id":"2512.11750","title":"LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems","created":"2025-12-12","cited_by_count":2,"area":null},{"id":"2202.02429","title":"Verifying Inverse Model Neural Networks","created":"2022-02-04","cited_by_count":1,"area":null},{"id":"2204.02351","title":"Test Against High-Dimensional Uncertainties: Accelerated Evaluation of Autonomous Vehicles with Deep Importance Sampling","created":"2022-04-04","cited_by_count":1,"area":null},{"id":"2311.12722","title":"Attacking Motion Planners Using Adversarial Perception Errors","created":"2023-11-21","cited_by_count":1,"area":null},{"id":"2312.09559","title":"STEAM & MoSAFE: SOTIF Error-and-Failure Model & Analysis for AI-Enabled Driving Automation","created":"2023-12-15","cited_by_count":1,"area":null},{"id":"2501.03394","title":"Enhanced Importance Sampling through Latent Space Exploration in Normalizing Flows","created":"2025-01-06","cited_by_count":1,"area":null},{"id":"2502.21110","title":"Rare event modeling with self-regularized normalizing flows: what can we learn from a single failure?","created":"2025-02-28","cited_by_count":1,"area":null},{"id":"2506.23703","title":"A New Perspective On AI Safety Through Control Theory Methodologies","created":"2025-06-30","cited_by_count":1,"area":null},{"id":"2608.06481","title":"Safe and Robust Neural Policy Learning with Statistical Verification for Sim-to-Real Deployment in Robotics","created":"2026-08-06","cited_by_count":1,"area":null},{"id":"2302.01161","title":"Vectorized Scenario Description and Motion Prediction for Scenario-Based Testing","created":"2023-02-02","cited_by_count":0,"area":null},{"id":"2309.12474","title":"SAVME: Efficient Safety Validation for Autonomous Systems Using Meta-Learning","created":"2023-09-21","cited_by_count":0,"area":null},{"id":"2310.06228","title":"Evolution of Natural Language Processing Technology: Not Just Language Processing Towards General Purpose AI","created":"2023-10-10","cited_by_count":0,"area":null},{"id":"2401.12243","title":"Constraint-Generation Policy Optimization (CGPO): Nonlinear Programming for Policy Optimization in Mixed Discrete-Continuous MDPs","created":"2024-01-20","cited_by_count":0,"area":null},{"id":"2405.15771","title":"Adaptive Splitting of Reusable Temporal Monitors for Rare Traffic Violations","created":"2024-03-13","cited_by_count":0,"area":null},{"id":"2410.03202","title":"Learning test generators for cyber-physical systems","created":"2024-10-04","cited_by_count":0,"area":null},{"id":"2505.13335","title":"Scalable Importance Sampling in High Dimensions with Low-Rank Mixture Proposals","created":"2025-05-19","cited_by_count":0,"area":null},{"id":"2507.17453","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","created":"2025-07-23","cited_by_count":0,"area":null},{"id":"2510.00519","title":"Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems","created":"2025-10-01","cited_by_count":0,"area":null},{"id":"2607.26121","title":"Towards Trustworthy Embodied Intelligence: A Systems Framework and Graded Trustworthiness Levels","created":"2026-07-28","cited_by_count":0,"area":null},{"id":"2608.09622","title":"Adaptive Sequential Test Planning for Multi-Mechanism Reliability Qualification via Bayesian Monte Carlo Tree Search","created":"2026-08-10","cited_by_count":0,"area":null}],"next_cursor":null}