{"total":53,"rows":[{"id":"2206.04199","title":"Deep Surrogate Assisted Generation of Environments","created":"2022-06-09","cited_by_count":40,"area":null},{"id":"2311.11056","title":"Choose Your Simulator Wisely: A Review on Open-source Simulators for Autonomous Driving","created":"2023-11-18","cited_by_count":26,"area":null},{"id":"2103.07403","title":"Generating and Characterizing Scenarios for Safety Testing of Autonomous Vehicles","created":"2021-03-12","cited_by_count":21,"area":null},{"id":"2108.11800","title":"Efficient Out-of-Distribution Detection Using Latent Space of $\\beta$-VAE for Cyber-Physical Systems","created":"2021-08-26","cited_by_count":19,"area":null},{"id":"2401.06379","title":"Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs","created":"2024-01-12","cited_by_count":14,"area":null},{"id":"2501.05867","title":"Neural Network Verification is a Programming Language Challenge","created":"2025-01-10","cited_by_count":12,"area":null},{"id":"2510.00181","title":"CHAI: Command Hijacking against embodied AI","created":"2025-09-30","cited_by_count":11,"area":null},{"id":"2405.03709","title":"ScenicNL: Generating Probabilistic Scenario Programs from Natural Language","created":"2024-05-03","cited_by_count":10,"area":null},{"id":"2304.05727","title":"Preemptively Pruning Clever-Hans Strategies in Deep Neural Networks","created":"2023-04-12","cited_by_count":9,"area":null},{"id":"2107.04164","title":"Parallel and Multi-Objective Falsification with Scenic and VerifAI","created":"2021-07-09","cited_by_count":8,"area":null},{"id":"2208.06309","title":"ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA","created":"2022-07-19","cited_by_count":8,"area":null},{"id":"2304.13787","title":"Surrogate Assisted Generation of Human-Robot Interaction Scenarios","created":"2023-04-26","cited_by_count":8,"area":null},{"id":"2106.10365","title":"Scenic4RL: Programmatic Modeling and Generation of Reinforcement Learning Environments","created":"2021-06-18","cited_by_count":6,"area":null},{"id":"2110.14870","title":"A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation","created":"2021-10-28","cited_by_count":6,"area":null},{"id":"2205.10906","title":"Monitoring of Perception Systems: Deterministic, Probabilistic, and Learning-based Fault Detection and Identification","created":"2022-05-22","cited_by_count":6,"area":null},{"id":"2412.18086","title":"Generating Traffic Scenarios via In-Context Learning to Learn Better Motion Planner","created":"2024-12-24","cited_by_count":6,"area":null},{"id":"2108.13796","title":"Addressing the IEEE AV Test Challenge with Scenic and VerifAI","created":"2021-08-20","cited_by_count":5,"area":null},{"id":"2311.07377","title":"Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach","created":"2023-11-13","cited_by_count":5,"area":null},{"id":"2202.13510","title":"Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems","created":"2022-02-28","cited_by_count":4,"area":null},{"id":"2112.00206","title":"Querying Labelled Data with Scenario Programs for Sim-to-Real Validation","created":"2021-12-01","cited_by_count":3,"area":null},{"id":"2311.10937","title":"Bridging Data-Driven and Knowledge-Driven Approaches for Safety-Critical Scenario Generation in Automated Vehicle Validation","created":"2023-11-18","cited_by_count":3,"area":null},{"id":"2403.06884","title":"A Simple Framework Towards Vision-based Traffic Signal Control with Microscopic Simulation","created":"2024-03-11","cited_by_count":3,"area":null},{"id":"2403.17805","title":"Scenario-Based Curriculum Generation for Multi-Agent Autonomous Driving","created":"2024-03-26","cited_by_count":3,"area":null},{"id":"2412.08685","title":"ChatDyn: Language-Driven Multi-Actor Dynamics Generation in Street Scenes","created":"2024-12-11","cited_by_count":3,"area":null},{"id":"2308.06686","title":"TorchQL: A Programming Framework for Integrity Constraints in Machine Learning","created":"2023-08-13","cited_by_count":2,"area":null},{"id":"2509.21677","title":"Prophecy: Inferring Formal Properties from Neuron Activations","created":"2025-09-25","cited_by_count":2,"area":null},{"id":"2509.24250","title":"Interactive Program Synthesis for Modeling Collaborative Physical Activities from Narrated Demonstrations","created":"2025-09-29","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":"2602.07212","title":"Understanding Real-World Traffic Safety through RoadSafe365 Benchmark","created":"2026-02-06","cited_by_count":2,"area":null},{"id":"2104.15006","title":"ModelGuard: Runtime Validation of Lipschitz-continuous Models","created":"2021-04-30","cited_by_count":1,"area":null},{"id":"2107.06149","title":"MINERVAS: Massive INterior EnviRonments VirtuAl Synthesis","created":"2021-07-13","cited_by_count":1,"area":null},{"id":"2202.06608","title":"Toward Unsupervised Test Scenario Extraction for Automated Driving Systems from Urban Naturalistic Road Traffic Data","created":"2022-02-14","cited_by_count":1,"area":null},{"id":"2308.03276","title":"Spatialyze: A Geospatial Video Analytics System with Spatial-Aware Optimizations","created":"2023-08-07","cited_by_count":1,"area":null},{"id":"2409.06608","title":"Simulation-based Scenario Generation for Robust Hybrid AI for Autonomy","created":"2024-09-10","cited_by_count":1,"area":null},{"id":"2410.16227","title":"Managing Bandwidth: The Key to Cloud-Assisted Autonomous Driving","created":"2024-10-21","cited_by_count":1,"area":null},{"id":"2510.14115","title":"David vs. Goliath: A comparative study of different-sized LLMs for code generation in the domain of automotive scenario generation","created":"2025-10-15","cited_by_count":1,"area":null},{"id":"2512.02966","title":"Lumos: Let there be Language Model System Certification","created":"2025-12-02","cited_by_count":1,"area":null},{"id":"2601.20666","title":"Learning Contextual Runtime Monitors for Safe AI-Based Autonomy","created":"2026-01-28","cited_by_count":1,"area":null},{"id":"2602.16073","title":"ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios","created":"2026-02-17","cited_by_count":1,"area":null},{"id":"2103.04578","title":"Testing Autonomous Systems with Believed Equivalence Refinement","created":"2021-03-08","cited_by_count":0,"area":null},{"id":"2110.05390","title":"Synthesizing Machine Learning Programs with PAC Guarantees via Statistical Sketching","created":"2021-10-11","cited_by_count":0,"area":null},{"id":"2211.12733","title":"Safety Analysis of Autonomous Driving Systems Based on Model Learning","created":"2022-11-23","cited_by_count":0,"area":null},{"id":"2301.01594","title":"Finding Needles in Haystack: Formal Generative Models for Efficient Massive Parallel Simulations","created":"2023-01-03","cited_by_count":0,"area":null},{"id":"2411.05946","title":"Querying Perception Streams with Spatial Regular Expressions","created":"2024-11-08","cited_by_count":0,"area":null},{"id":"2508.21411","title":"CARJAN: Agent-Based Generation and Simulation of Traffic Scenarios with AJAN","created":"2025-08-29","cited_by_count":0,"area":null},{"id":"2510.03320","title":"Attack logics, not outputs: Towards efficient robustification of deep neural networks by falsifying concept-based properties","created":"2025-10-01","cited_by_count":0,"area":null},{"id":"2602.06104","title":"Pragmatic Curiosity: A Unified Framework for Hybrid Learning and Optimization via Active Inference","created":"2026-02-05","cited_by_count":0,"area":null},{"id":"2603.09455","title":"Declarative Scenario-based Testing with RoadLogic","created":"2026-03-10","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":"2609.27296","title":"Teach-to-Crash: A Closed-Loop Student-Teacher LLM Framework for Collision-Inducing Test Scenario Generation","created":"2026-09-23","cited_by_count":0,"area":null},{"id":"2610.02608","title":"Time Series Forecasting Benchmarks Need Scenario-Grounded Stress Testing","created":"2026-10-02","cited_by_count":0,"area":null},{"id":"2610.05003","title":"How corner is a corner case? Percentile control for highway scenario generation","created":"2026-10-04","cited_by_count":0,"area":null},{"id":"2610.05571","title":"Scenario-Based Compositional Statistical Model Checking for Safety Specifications","created":"2026-10-04","cited_by_count":0,"area":null}],"next_cursor":null}