Image de couverture de livre

Shield Synthesis for LTL Modulo Theories

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Rodriguez, Andoni, Amir, Guy, Corsi, Davide, Sanchez, Cesar, Katz, Guy
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science Artificial Intelligence Machine Learning Robotics
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Efficient Dynamic Shielding for Parametric Safety Specifications
par: Corsi, Davide, et autres
Publié: (2025)

Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis
par: Rodríguez, Andoni, et autres
Publié: (2024)

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
par: Zhang, Maifang, et autres
Publié: (2026)

On Improving Deep Active Learning with Formal Verification
par: Spiegelman, Jonathan, et autres
Publié: (2025)

Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks
par: Boetius, David, et autres
Publié: (2026)

Local vs. Global Interpretability: A Computational Complexity Perspective
par: Bassan, Shahaf, et autres
Publié: (2024)

Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation
par: Amir, Guy, et autres
Publié: (2024)

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
par: Bassan, Shahaf, et autres
Publié: (2025)

Explanations for Unrealizability of Infinite-State Safety Shields
par: Rodriguez, Andoni, et autres
Publié: (2025)

Verification-Guided Shielding for Deep Reinforcement Learning
par: Corsi, Davide, et autres
Publié: (2024)

What makes an Ensemble (Un) Interpretable?
par: Bassan, Shahaf, et autres
Publié: (2025)

Verifying the Generalization of Deep Learning to Out-of-Distribution Domains
par: Amir, Guy, et autres
Publié: (2024)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
par: Wu, Haoze, et autres
Publié: (2024)

Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
par: Brorholt, Asger Horn, et autres
Publié: (2025)

Neural Network Verification using Partial Multi-Neuron Relaxation
par: Shmuel, Ido, et autres
Publié: (2026)

Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery
par: Cornelio, Cristina, et autres
Publié: (2024)

Learning Optimal Strategies for Temporal Tasks in Stochastic Games
par: Bozkurt, Alper Kamil, et autres
Publié: (2021)

Diverse Controllable Diffusion Policy with Signal Temporal Logic
par: Meng, Yue, et autres
Publié: (2025)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
par: Meng, Yue, et autres
Publié: (2025)

Model Predictive Robustness of Signal Temporal Logic Predicates
par: Lin, Yuanfei, et autres
Publié: (2022)

Robust Shielding for Safe Reinforcement Learning
par: Court, Edwin Hamel-De le, et autres
Publié: (2026)

A Compositional Atlas for Algebraic Circuits
par: Wang, Benjie, et autres
Publié: (2024)

Efficient Shield Synthesis via State-Space Transformation
par: Brorholt, Asger Horn, et autres
Publié: (2024)

Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
par: Brorholt, Asger Horn, et autres
Publié: (2024)

PiShield: A PyTorch Package for Learning with Requirements
par: Stoian, Mihaela Cătălina, et autres
Publié: (2024)

Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
par: Hadad, Itamar, et autres
Publié: (2026)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
par: Asor, Ohad
Publié: (2026)

Value Functions for Temporal Logic: Optimal Policies and Safety Filters
par: So, Oswin, et autres
Publié: (2026)

Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach
par: Sharifi, Iman, et autres
Publié: (2023)

Incremental Neural Network Verification via Learned Conflicts
par: Elsaleh, Raya, et autres
Publié: (2026)

Research Vision: Multi-Agent Path Planning for Cops And Robbers Via Reactive Synthesis
par: Fishell, William, et autres
Publié: (2025)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
par: Xiao, Shengping, et autres
Publié: (2024)

Canonical Decision Diagrams Modulo Theories
par: Michelutti, Massimo, et autres
Publié: (2024)

Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
par: Bizzaro, Davide, et autres
Publié: (2025)

NLP Verification: Towards a General Methodology for Certifying Robustness
par: Casadio, Marco, et autres
Publié: (2024)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
par: Elboher, Yizhak Yisrael, et autres
Publié: (2025)

BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
par: Lamont, Sean, et autres
Publié: (2024)

From Circuit Evidence to Mechanistic Theory: An Inductive Logic Approach
par: Aljaafari, Nura, et autres
Publié: (2026)

Proof Minimization in Neural Network Verification
par: Isac, Omri, et autres
Publié: (2025)

PICID: Proof-Driven Clause Learning in Neural Network Verification
par: Isac, Omri, et autres
Publié: (2025)