Copertina

ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chang, Kevin Kai-Chun, Beyazit, Ekin, Sangiovanni-Vincentelli, Alberto, Wongpiromsarn, Tichakorn, Seshia, Sanjit A.
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Robotics Artificial Intelligence Logic in Computer Science Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Risk-Aware Rulebooks for Multi-Objective Trajectory Evaluation under Uncertainty
di: Wongpiromsarn, Tichakorn
Pubblicazione: (2026)

Context-Aided Variable Elimination for Requirement Engineering
di: Incer, Inigo, et al.
Pubblicazione: (2023)

ScenicNL: Generating Probabilistic Scenario Programs from Natural Language
di: Elmaaroufi, Karim, et al.
Pubblicazione: (2024)

GENESIS-RL: GEnerating Natural Edge-cases with Systematic Integration of Safety considerations and Reinforcement Learning
di: Yang, Hsin-Jung, et al.
Pubblicazione: (2024)

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
di: Vin, Eric, et al.
Pubblicazione: (2025)

Autonomous Vehicles Path Planning under Temporal Logic Specifications
di: Dhonthi, Akshay, et al.
Pubblicazione: (2024)

Safe and Personalizable Logical Guidance for Trajectory Planning of Autonomous Driving
di: Xu, Yuejiao, et al.
Pubblicazione: (2024)

Incorporating System-level Safety Requirements in Perception Models via Reinforcement Learning
di: Fan, Weisi, et al.
Pubblicazione: (2024)

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
di: Incer, Inigo, et al.
Pubblicazione: (2023)

Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives
di: Bozkurt, Alper Kamil, et al.
Pubblicazione: (2020)

Optimal Planning for Timed Partial Order Specifications
di: Watanabe, Kandai, et al.
Pubblicazione: (2024)

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
di: Reimann, Jesse, et al.
Pubblicazione: (2024)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
di: Balakrishnan, Anand, et al.
Pubblicazione: (2022)

Lexicographic Multi-Objective Stochastic Shortest Path with Mixed Max-Sum Costs
di: Zhang, Zhiquan, et al.
Pubblicazione: (2025)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
di: Kapoor, Parv, et al.
Pubblicazione: (2024)

Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
di: Luckcuck, Matt, et al.
Pubblicazione: (2025)

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
di: Luckcuck, Matt, et al.
Pubblicazione: (2024)

Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains
di: Benjumea, Diana C., et al.
Pubblicazione: (2025)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
di: Zhao, Yiqi, et al.
Pubblicazione: (2025)

Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
di: Joshi, Aniruddha, et al.
Pubblicazione: (2025)

Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach
di: Sharifi, Iman, et al.
Pubblicazione: (2023)

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
di: Ho, Qi Heng, et al.
Pubblicazione: (2024)

Equivariant Ensembles and Regularization for Reinforcement Learning in Map-based Path Planning
di: Theile, Mirco, et al.
Pubblicazione: (2024)

Learning to Recharge: UAV Coverage Path Planning through Deep Reinforcement Learning
di: Theile, Mirco, et al.
Pubblicazione: (2023)

Foundations for an Abstract Proof Theory in the Context of Horn Rules
di: Lyon, Tim S., et al.
Pubblicazione: (2023)

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
di: Vázquez, Gricel, et al.
Pubblicazione: (2026)

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics
di: Yamaguchi, Tomoya, et al.
Pubblicazione: (2025)

Logic of Fuzzy Paths
di: Grover, Kush, et al.
Pubblicazione: (2026)

Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2
di: Choton, Jahid Chowdhury, et al.
Pubblicazione: (2024)

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
di: Dietrich, Elizabeth, et al.
Pubblicazione: (2025)

Achieving Safe Control Online through Integration of Harmonic Control Lyapunov-Barrier Functions with Unsafe Object-Centric Action Policies
di: Fawn, Marlow, et al.
Pubblicazione: (2025)

Safety2Drive: Safety-Critical Scenario Benchmark for the Evaluation of Autonomous Driving
di: Li, Jingzheng, et al.
Pubblicazione: (2025)

Efficient Dynamic Shielding for Parametric Safety Specifications
di: Corsi, Davide, et al.
Pubblicazione: (2025)

Continuous World Coverage Path Planning for Fixed-Wing UAVs using Deep Reinforcement Learning
di: Theile, Mirco, et al.
Pubblicazione: (2025)

Towards Benchmarking and Assessing the Safety and Robustness of Autonomous Driving on Safety-critical Scenarios
di: Li, Jingzheng, et al.
Pubblicazione: (2025)

Persistent Autoregressive Mapping with Traffic Rules for Autonomous Driving
di: Liang, Shiyi, et al.
Pubblicazione: (2025)

Ontological foundations for contrastive explanatory narration of robot plans
di: Olivares-Alarcos, Alberto, et al.
Pubblicazione: (2025)

Foundation Models in Autonomous Driving: A Survey on Scenario Generation and Scenario Analysis
di: Gao, Yuan, et al.
Pubblicazione: (2025)

Constrained Decoding for Safe Robot Navigation Foundation Models
di: Kapoor, Parv, et al.
Pubblicazione: (2025)

Formal Modelling and Analysis of a Self-Adaptive Robotic System
di: Päßler, Juliane, et al.
Pubblicazione: (2023)