Copertina

Universal Safety Controllers with Learned Prophecies

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Finkbeiner, Bernd, Metzger, Niklas, Nayak, Satya Prakash, Schmuck, Anne-Kathrin
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Synthesis of Universal Safety Controllers
di: Finkbeiner, Bernd, et al.
Pubblicazione: (2025)

Localized Attractor Computations for Infinite-State Games (Full Version)
di: Schmuck, Anne-Kathrin, et al.
Pubblicazione: (2024)

Follow the STARs: Dynamic $ω$-Regular Shielding of Learned Policies
di: Anand, Ashwani, et al.
Pubblicazione: (2025)

Information Flow Guided Synthesis with Unbounded Communication
di: Finkbeiner, Bernd, et al.
Pubblicazione: (2024)

Synthesis of Temporal Causality
di: Finkbeiner, Bernd, et al.
Pubblicazione: (2024)

Most General Winning Secure Equilibria Synthesis in Graph Games
di: Nayak, Satya Prakash, et al.
Pubblicazione: (2024)

Monitoring Second-Order Hyperproperties
di: Beutner, Raven, et al.
Pubblicazione: (2024)

Logics and Algorithms for Hyperproperties
di: Finkbeiner, Bernd
Pubblicazione: (2025)

Knowledge Compilation for Quantification in Alternating Automata
di: Akshay, S., et al.
Pubblicazione: (2026)

Explainability Requirements as Hyperproperties
di: Finkbeiner, Bernd, et al.
Pubblicazione: (2025)

Checking Satisfiability of Hyperproperties using First-Order Logic
di: Beutner, Raven, et al.
Pubblicazione: (2025)

On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information
di: Beutner, Raven, et al.
Pubblicazione: (2025)

HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
di: Beutner, Raven, et al.
Pubblicazione: (2022)

Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime
di: Nayak, Satya Prakash, et al.
Pubblicazione: (2022)

Synthesizing Permissive Winning Strategy Templates for Parity Games
di: Anand, Ashwani, et al.
Pubblicazione: (2023)

Contract-Based Distributed Synthesis in Two-Objective Parity Games
di: Anand, Ashwani, et al.
Pubblicazione: (2023)

MANTRA: Synthesizing SMT-Validated Compliance Benchmarks for Tool-Using LLM Agents
di: Anand, Ashwani, et al.
Pubblicazione: (2026)

Closure and Complexity of Temporal Causality
di: Carelli, Mishel, et al.
Pubblicazione: (2025)

Visualizing Game-Based Certificates for Hyperproperty Verification
di: Beutner, Raven, et al.
Pubblicazione: (2025)

Active Monitoring with RTLola: A Specification-Guided Scheduling Approach
di: Baumeister, Jan, et al.
Pubblicazione: (2025)

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

Coinductive Proofs for Temporal Hyperliveness
di: Correnson, Arthur, et al.
Pubblicazione: (2025)

Differentially Private Runtime Monitoring
di: Finkbeiner, Bernd, et al.
Pubblicazione: (2026)

A Tutorial on Stream-based Monitoring
di: Baumeister, Jan, et al.
Pubblicazione: (2025)

Learning Representations Through Contrastive Neural Model Checking
di: Krsmanovic, Vladimir, et al.
Pubblicazione: (2025)

Learning Better Representations From Less Data For Propositional Satisfiability
di: Ghanem, Mohamed, et al.
Pubblicazione: (2024)

Strategy Logic, Imperfect Information, and Hyperproperties
di: Beutner, Raven, et al.
Pubblicazione: (2025)

Hyper Strategy Logic
di: Beutner, Raven, et al.
Pubblicazione: (2024)

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
di: Beutner, Raven, et al.
Pubblicazione: (2023)

Solving Two-Player Games under Progress Assumptions
di: Schmuck, Anne-Kathrin, et al.
Pubblicazione: (2023)

Computing Adequately Permissive Assumptions for Synthesis
di: Anand, Ashwani, et al.
Pubblicazione: (2023)

An Information-Flow Perspective on Explainability Requirements: Specification and Verification
di: Finkbeiner, Bernd, et al.
Pubblicazione: (2025)

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
di: Frenkel, Eden, et al.
Pubblicazione: (2026)

Trace Repair for Temporal Behavior Trees
di: Schirmer, Sebastian, et al.
Pubblicazione: (2025)

Verifying Asynchronous Hyperproperties in Reactive Systems
di: Beutner, Raven, et al.
Pubblicazione: (2025)

Non-Deterministic Planning for Hyperproperty Verification
di: Beutner, Raven, et al.
Pubblicazione: (2024)

An Intermediate Program Representation for Optimizing Stream-Based Languages
di: Baumeister, Jan, et al.
Pubblicazione: (2025)

Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
di: Finkbeiner, Bernd, et al.
Pubblicazione: (2026)

Counterfactual Explanations for MITL Violations
di: Finkbeiner, Bernd, et al.
Pubblicazione: (2024)

Syntax-Guided Automated Program Repair for Hyperproperties
di: Beutner, Raven, et al.
Pubblicazione: (2024)