Buchumschlag

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Teuber, Samuel, Lohar, Debasmita, Beckert, Bernhard
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Systems and Control Artificial Intelligence Machine Learning Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Next Steps in LLM-Supported Java Verification
von: Teuber, Samuel, et al.
Veröffentlicht: (2025)

An Information-Flow Perspective on Algorithmic Fairness
von: Teuber, Samuel, et al.
Veröffentlicht: (2023)

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

Revisiting Differential Verification: Equivalence Verification with Confidence
von: Teuber, Samuel, et al.
Veröffentlicht: (2024)

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

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

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

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

Efficient Shield Synthesis via State-Space Transformation
von: Brorholt, Asger Horn, 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)

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

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

Safe Reach Set Computation via Neural Barrier Certificates
von: Abate, Alessandro, et al.
Veröffentlicht: (2024)

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

Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
von: Zhou, Yuhao, et al.
Veröffentlicht: (2023)

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

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
von: Edwards, Alec, et al.
Veröffentlicht: (2023)

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

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
von: Teuber, Samuel, et al.
Veröffentlicht: (2025)

Learning Temporal Logic Predicates from Data with Statistical Guarantees
von: Soroka, Emi, et al.
Veröffentlicht: (2024)

Robust Shielding for Safe Reinforcement Learning
von: Court, Edwin Hamel-De le, et al.
Veröffentlicht: (2026)

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
von: Ramirez, Miquel, 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)

Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
von: Belly, Marius, 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)

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
von: Zhang, Zhiwei, et al.
Veröffentlicht: (2025)

BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization
von: Lourenço, Bruno F., et al.
Veröffentlicht: (2026)

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

Logic-Driven Semantic Communication for Resilient Multi-Agent Systems
von: Alshammari, Tamara, et al.
Veröffentlicht: (2026)

Agentic System with Modal Logic for Autonomous Diagnostics
von: Sulc, Antonin, et al.
Veröffentlicht: (2025)

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)

Value Functions for Temporal Logic: Optimal Policies and Safety Filters
von: So, Oswin, et al.
Veröffentlicht: (2026)

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
von: Zhang, Maifang, et al.
Veröffentlicht: (2026)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
von: Chevallier, Mark, et al.
Veröffentlicht: (2025)

SMLP: Symbolic Machine Learning Prover (User Manual)
von: Brauße, Franz, et al.
Veröffentlicht: (2024)

SMLP: Symbolic Machine Learning Prover
von: Brauße, Franz, et al.
Veröffentlicht: (2024)

Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
von: Incer, Inigo
Veröffentlicht: (2024)