Buchumschlag

Efficient Shield Synthesis via State-Space Transformation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Brorholt, Asger Horn, Høeg-Petersen, Andreas Holck, Larsen, Kim Guldstrand, Schilling, Christian
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Artificial Intelligence Machine Learning Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
von: Brorholt, Asger Horn, et al.
Veröffentlicht: (2024)

Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
von: Brorholt, Asger Horn, et al.
Veröffentlicht: (2025)

Efficient Dynamic Shielding for Parametric Safety Specifications
von: Corsi, Davide, et al.
Veröffentlicht: (2025)

Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
von: Belly, Marius, et al.
Veröffentlicht: (2024)

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
von: Ramirez, Miquel, et al.
Veröffentlicht: (2024)

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
von: Azeem, Muqsit, et al.
Veröffentlicht: (2024)

Safe and Reliable Training of Learning-Based Aerospace Controllers
von: Mandal, Udayan, et al.
Veröffentlicht: (2024)

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems
von: Sidrane, Chelsea, et al.
Veröffentlicht: (2024)

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems
von: Sidrane, Chelsea, et al.
Veröffentlicht: (2025)

Learning Algorithms for Verification of Markov Decision Processes
von: Brázdil, Tomáš, et al.
Veröffentlicht: (2024)

Provably Safe Neural Network Controllers via Differential Dynamic Logic
von: Teuber, Samuel, et al.
Veröffentlicht: (2024)

ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios
von: Chang, Kevin Kai-Chun, et al.
Veröffentlicht: (2026)

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
von: Ho, Qi Heng, et al.
Veröffentlicht: (2024)

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
von: Zhang, Changjian, et al.
Veröffentlicht: (2024)

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision
von: Teuber, Samuel, et al.
Veröffentlicht: (2025)

Verification of Autonomous Neural Car Control with KeYmaera X
von: Prebet, Enguerrand, et al.
Veröffentlicht: (2025)

Automated Reasoning for Vulnerability Management by Design
von: Shaked, Avi, et al.
Veröffentlicht: (2025)

Neural Proofs for Sound Verification and Control of Complex Systems
von: Abate, Alessandro
Veröffentlicht: (2025)

Categorical semantics of compositional reinforcement learning
von: Bakirtzis, Georgios, et al.
Veröffentlicht: (2022)

Hyperproperty-Constrained Secure Reinforcement Learning
von: Bonnah, Ernest, et al.
Veröffentlicht: (2025)

A Declarative Goal-oriented Framework for Smart Environments with LPaaS
von: Bisicchia, Giuseppe, et al.
Veröffentlicht: (2021)

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics
von: Wooding, Ben, et al.
Veröffentlicht: (2026)

The Reachability Problem for Neural-Network Control Systems
von: Schilling, Christian, et al.
Veröffentlicht: (2024)

CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles
von: Gu, Rong, et al.
Veröffentlicht: (2024)

CESAR: Control Envelope Synthesis via Angelic Refinements
von: Kabra, Aditi, et al.
Veröffentlicht: (2023)

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
von: Schön, Oliver, et al.
Veröffentlicht: (2023)

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

The Complexity of Data-Free Nfer
von: Kauffman, Sean, et al.
Veröffentlicht: (2024)

Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)
von: Hsieh, Chiao, et al.
Veröffentlicht: (2025)

Safe and Near-Optimal Gate Control: A Case Study from the Danish West Coast
von: Kristjansen, Martin, et al.
Veröffentlicht: (2026)

Taming Silent Failures: A Framework for Verifiable AI Reliability
von: Yang, Guan-Yan, et al.
Veröffentlicht: (2025)

Efficient Discovery of Actual Causality using Abstraction-Refinement
von: Rafieioskouei, Arshia, et al.
Veröffentlicht: (2024)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
von: Badings, Thom, et al.
Veröffentlicht: (2025)

Shield Synthesis for LTL Modulo Theories
von: Rodriguez, Andoni, et al.
Veröffentlicht: (2024)

Shields to Guarantee Probabilistic Safety in MDPs
von: Heck, Linus, et al.
Veröffentlicht: (2026)

On Generalized Performance Evaluation and Generalized Controller Synthesis
von: Cao, Zining
Veröffentlicht: (2026)

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
von: Edwards, Alec, et al.
Veröffentlicht: (2023)

Towards Automatic Linearization via SMT Solving
von: Cao, Jian, et al.
Veröffentlicht: (2024)

Follow the STARs: Dynamic $ω$-Regular Shielding of Learned Policies
von: Anand, Ashwani, et al.
Veröffentlicht: (2025)

sweap: Reactive Synthesis for Infinite-State Integer Problems
von: Azzopardi, Shaun, et al.
Veröffentlicht: (2026)