{"total":28,"rows":[{"id":"2405.03709","title":"ScenicNL: Generating Probabilistic Scenario Programs from Natural Language","created":"2024-05-03","cited_by_count":10,"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":"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":"2305.13960","title":"From Model-Based to Data-Driven Simulation: Challenges and Trends in Autonomous Driving","created":"2023-05-23","cited_by_count":6,"area":null},{"id":"2406.03636","title":"Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages","created":"2024-06-05","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":"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.17805","title":"Scenario-Based Curriculum Generation for Multi-Agent Autonomous Driving","created":"2024-03-26","cited_by_count":3,"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":"2308.03276","title":"Spatialyze: A Geospatial Video Analytics System with Spatial-Aware Optimizations","created":"2023-08-07","cited_by_count":1,"area":null},{"id":"2311.09784","title":"Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems","created":"2023-11-16","cited_by_count":1,"area":null},{"id":"2312.04008","title":"Natural-language-driven Simulation Benchmark and Copilot for Efficient Production of Object Interactions in Virtual Road Scenes","created":"2023-12-07","cited_by_count":1,"area":null},{"id":"2401.17062","title":"Outline of an Independent Systematic Blackbox Test for ML-based Systems","created":"2024-01-30","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.07874","title":"Controllable risk scenario generation from human crash data for autonomous vehicle testing","created":"2025-11-27","cited_by_count":1,"area":null},{"id":"2512.14266","title":"DriverGaze360: OmniDirectional Driver Attention with Object-Level Guidance","created":"2025-12-16","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":"2311.09810","title":"Towards Formal Fault Injection for Safety Assessment of Automated Systems","created":"2023-11-16","cited_by_count":0,"area":null},{"id":"2504.03989","title":"CORTEX-AVD: A Framework for CORner Case Testing and EXploration in Autonomous Vehicle Development","created":"2025-04-04","cited_by_count":0,"area":null},{"id":"2511.18274","title":"Clinician-Directed Large Language Model Software Generation for Therapeutic Interventions in Physical Rehabilitation","created":"2025-11-23","cited_by_count":0,"area":null},{"id":"2606.31131","title":"Scenario Generation for Testing of Autonomous Driving Systems Using Real-World Failure Records","created":"2026-06-30","cited_by_count":0,"area":null},{"id":"2606.31589","title":"From Failure to Alignment: A Requirements Engineering Framework for Machine Learning Systems","created":"2026-06-30","cited_by_count":0,"area":null},{"id":"2609.24397","title":"Probabilistic Modelling of Operational Design Domains, A New Approach for Testing AI Systems","created":"2026-09-21","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}