Buchumschlag

Synthesis of Universal Safety Controllers

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Finkbeiner, Bernd, Metzger, Niklas, Nayak, Satya Prakash, Schmuck, Anne-Kathrin
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	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

Universal Safety Controllers with Learned Prophecies
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2025)

Localized Attractor Computations for Infinite-State Games (Full Version)
von: Schmuck, Anne-Kathrin, et al.
Veröffentlicht: (2024)

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

Information Flow Guided Synthesis with Unbounded Communication
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2024)

Synthesis of Temporal Causality
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2024)

Most General Winning Secure Equilibria Synthesis in Graph Games
von: Nayak, Satya Prakash, et al.
Veröffentlicht: (2024)

Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime
von: Nayak, Satya Prakash, et al.
Veröffentlicht: (2022)

Monitoring Second-Order Hyperproperties
von: Beutner, Raven, et al.
Veröffentlicht: (2024)

Logics and Algorithms for Hyperproperties
von: Finkbeiner, Bernd
Veröffentlicht: (2025)

Contract-Based Distributed Synthesis in Two-Objective Parity Games
von: Anand, Ashwani, et al.
Veröffentlicht: (2023)

Knowledge Compilation for Quantification in Alternating Automata
von: Akshay, S., et al.
Veröffentlicht: (2026)

Explainability Requirements as Hyperproperties
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2025)

Checking Satisfiability of Hyperproperties using First-Order Logic
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
von: Beutner, Raven, et al.
Veröffentlicht: (2022)

Computing Adequately Permissive Assumptions for Synthesis
von: Anand, Ashwani, et al.
Veröffentlicht: (2023)

Synthesizing Permissive Winning Strategy Templates for Parity Games
von: Anand, Ashwani, et al.
Veröffentlicht: (2023)

MANTRA: Synthesizing SMT-Validated Compliance Benchmarks for Tool-Using LLM Agents
von: Anand, Ashwani, et al.
Veröffentlicht: (2026)

Closure and Complexity of Temporal Causality
von: Carelli, Mishel, et al.
Veröffentlicht: (2025)

Visualizing Game-Based Certificates for Hyperproperty Verification
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

Active Monitoring with RTLola: A Specification-Guided Scheduling Approach
von: Baumeister, Jan, et al.
Veröffentlicht: (2025)

On Conformant Planning and Model-Checking of $\exists^*\forall^*$ Hyperproperties
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

Coinductive Proofs for Temporal Hyperliveness
von: Correnson, Arthur, et al.
Veröffentlicht: (2025)

Differentially Private Runtime Monitoring
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2026)

A Tutorial on Stream-based Monitoring
von: Baumeister, Jan, et al.
Veröffentlicht: (2025)

Strategy Logic, Imperfect Information, and Hyperproperties
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

Hyper Strategy Logic
von: Beutner, Raven, et al.
Veröffentlicht: (2024)

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
von: Beutner, Raven, et al.
Veröffentlicht: (2023)

Solving Two-Player Games under Progress Assumptions
von: Schmuck, Anne-Kathrin, et al.
Veröffentlicht: (2023)

An Information-Flow Perspective on Explainability Requirements: Specification and Verification
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2025)

Trace Repair for Temporal Behavior Trees
von: Schirmer, Sebastian, et al.
Veröffentlicht: (2025)

Verifying Asynchronous Hyperproperties in Reactive Systems
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

Non-Deterministic Planning for Hyperproperty Verification
von: Beutner, Raven, et al.
Veröffentlicht: (2024)

An Intermediate Program Representation for Optimizing Stream-Based Languages
von: Baumeister, Jan, et al.
Veröffentlicht: (2025)

Learning Representations Through Contrastive Neural Model Checking
von: Krsmanovic, Vladimir, et al.
Veröffentlicht: (2025)

Learning Better Representations From Less Data For Propositional Satisfiability
von: Ghanem, Mohamed, et al.
Veröffentlicht: (2024)

Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2026)

Counterfactual Explanations for MITL Violations
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2024)

Syntax-Guided Automated Program Repair for Hyperproperties
von: Beutner, Raven, et al.
Veröffentlicht: (2024)

Robust Computation Tree Logic
von: Nayak, Satya Prakash, et al.
Veröffentlicht: (2022)