Cover Image

Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Brorholt, Asger Horn, Høeg-Petersen, Andreas Holck, Jensen, Peter Gjøl, Larsen, Kim Guldstrand, Mikučionis, Marius, Schilling, Christian, Wąsowski, Andrzej
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Artificial Intelligence Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Efficient Shield Synthesis via State-Space Transformation
by: Brorholt, Asger Horn, et al.
Published: (2024)

Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
by: Brorholt, Asger Horn, et al.
Published: (2024)

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

The Complexity of Data-Free Nfer
by: Kauffman, Sean, et al.
Published: (2024)

CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles
by: Gu, Rong, et al.
Published: (2024)

TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
by: Gonzalez, Bruno Maria René, et al.
Published: (2025)

Monitoring Timed Properties (Revisited)
by: Grosen, Thomas Møller, et al.
Published: (2022)

Towards a Proof System for Probabilistic Dynamic Logic
by: Johnsen, Einar Broch, et al.
Published: (2024)

Definite Descriptions and Hybrid Tense Logic
by: Indrzejczak, Andrzej, et al.
Published: (2024)

Transfer of generalized amalgamation in simple theories
by: Schilling, Baptiste
Published: (2026)

LLM-Powered Automatic Theorem Proving and Synthesis for Hybrid Systems and Game
by: Kabra, Aditi, et al.
Published: (2026)

Hybrid Modal Operators for Definite Descriptions
by: Wałęga, Przemysław Andrzej, et al.
Published: (2024)

On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions
by: Jensen, Nicolaj Ø., et al.
Published: (2025)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
by: Indrzejczak, Andrzej, et al.
Published: (2024)

Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators
by: Indrzejczak, Andrzej
Published: (2024)

Simple Classes of Automatic Structures
by: Blumensath, Achim
Published: (2025)

Transferring Compactness
by: Benhamou, Tom, et al.
Published: (2023)

The happy coexistence of mad families and Laver measurability
by: Tornquist, Asger, et al.
Published: (2025)

Shield Synthesis for LTL Modulo Theories
by: Rodriguez, Andoni, et al.
Published: (2024)

Bridge and Bound: A Logic-Based Framework for Abstracting (Extended Report)
by: Szalas, Andrzej
Published: (2025)

Partial Model Theory -- Ultraproducts and Compactness
by: Carnier, Rodolfo Cunha
Published: (2024)

On the Intermediate Models of Strongly Compact Prikry Forcing
by: Benhamou, Tom, et al.
Published: (2026)

Explanations for Unrealizability of Infinite-State Safety Shields
by: Rodriguez, Andoni, et al.
Published: (2025)

The Boolean Compactness Theorem for $\mathrm{L}_{\infty\infty}$
by: Suárez, Juan M Santiago, et al.
Published: (2025)

AutoModel: Automatic Synthesis of Models from Communication Traces of SoC Designs
by: Ahmed, Md Rubel, et al.
Published: (2023)

Terminating Hybrid Tableaus for Ordered Models
by: Nishimura, Yuki
Published: (2025)

Compactness in team semantics
by: Joni Puljujärvi, et al.
Published: (2024)

Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications
by: Indrzejczak, Andrzej, et al.
Published: (2024)

Bisequent Calculi for Neutral Free Logic with Definite Descriptions
by: Indrzejczak, Andrzej, et al.
Published: (2024)

Uniform Cut-free Bisequent Calculi for Three-valued Logics
by: Indrzejczak, Andrzej, et al.
Published: (2024)

Consistent Update Synthesis via Privatized Beliefs
by: Schlögl, Thomas, et al.
Published: (2024)

Computational Complexity of Standpoint LTL
by: Demri, Stéphane, et al.
Published: (2024)

Shields to Guarantee Probabilistic Safety in MDPs
by: Heck, Linus, et al.
Published: (2026)

Compact Quantitative Theories of Convex Algebras
by: Mio, Matteo
Published: (2025)

Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation
by: Maluszynski, Jan, et al.
Published: (2010)

Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
by: Belly, Marius, et al.
Published: (2024)

The Ramsey property and higher dimensional mad families
by: Schrittesser, David, et al.
Published: (2020)

Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks
by: Wałęga, Przemysław Andrzej, et al.
Published: (2026)

Compact SAT Encoding for Power Peak Minimization
by: Van Kieu, Tuyen, et al.
Published: (2025)

Good projective witnesses
by: Fischer, Vera, et al.
Published: (2019)