Buchumschlag

HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Beutner, Raven, Finkbeiner, Bernd
Format:	Preprint
Veröffentlicht:	2022
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

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

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

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

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

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

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

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

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

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

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

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

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

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

Automated Software Verification of Hyperliveness
von: Beutner, Raven
Veröffentlicht: (2024)

Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)
von: Dardinier, Thibault, et al.
Veröffentlicht: (2023)

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

Unifying Asynchronous Logics for Hyperproperties
von: Bombardelli, Alberto, et al.
Veröffentlicht: (2024)

TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
von: Gonzalez, Bruno Maria René, et al.
Veröffentlicht: (2025)

HyperQB: A Bounded Model Checker for Hyperproperties
von: Hsu, Tzu-Han, et al.
Veröffentlicht: (2021)

Logics for Context-free Hyperproperties
von: Winter, Sarah, et al.
Veröffentlicht: (2026)

Tractable Hyperproperties for MDPs
von: Gerlach, Lina, et al.
Veröffentlicht: (2026)

ATL*AS: An Automata-Theoretic Approach and Tool for the Verification of Strategic Abilities in Multi-Agent Systems
von: Garcia-Alcalde, Sofia Garcia de Blas, et al.
Veröffentlicht: (2025)

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

Temporal Hyperproperties for Population Protocols
von: Waldburger, Nicolas, et al.
Veröffentlicht: (2024)

Hyperproperty Verification as CHC Satisfiability
von: Itzhaky, Shachar, et al.
Veröffentlicht: (2023)

Reasoning about Quality in Hyperproperties
von: Graepler, Samuel, et al.
Veröffentlicht: (2025)

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

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

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

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

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

On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions
von: Jensen, Nicolaj Ø., et al.
Veröffentlicht: (2025)

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

Agent-Knowledge Logic for Alternative Epistemic Logic
von: Nishimura, Yuki
Veröffentlicht: (2024)

Generating Plans for Belief-Desire-Intention (BDI) Agents Using Alternating-Time Temporal Logic (ATL)
von: Léveillé, Dylan
Veröffentlicht: (2025)

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

LPrL: An Asynchronous Linear Time Hyper Logic
von: Duggirala, Parasara Sridhar, et al.
Veröffentlicht: (2025)

Decentralized Planning Using Probabilistic Hyperproperties
von: Pontiggia, Francesco, et al.
Veröffentlicht: (2025)

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

Synthesis of Universal Safety Controllers
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2025)