Buchumschlag

Temporal Hyperproperties for Population Protocols

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Waldburger, Nicolas, Weil-Kennedy, Chana, Ganty, Pierre, Sánchez, César
Format:	Preprint
Veröffentlicht:	2024
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

A Uniform Framework for Language Inclusion Problems
von: Doveri, Kyveli, et al.
Veröffentlicht: (2024)

Verification of Population Protocols with Unordered Data
von: van Bergerem, Steffen, et al.
Veröffentlicht: (2024)

Runtime Verification of Interactions Using Automata
von: Weil-Kennedy, Chana, et al.
Veröffentlicht: (2025)

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

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

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

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

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)

A Myhill-Nerode Characterization and Active Learning for One-Clock Timed Automata
von: Doveri, Kyveli, et al.
Veröffentlicht: (2026)

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

Visualizing Game-Based Certificates for Hyperproperty Verification
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)

Checking Satisfiability of Hyperproperties using First-Order Logic
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)

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

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

Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
von: Guillou, Lucie, et al.
Veröffentlicht: (2023)

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

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

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

Invariants for One-Counter Automata with Disequality Tests
von: Chistikov, Dmitry, et al.
Veröffentlicht: (2024)

Centralized vs Decentralized Monitors for Hyperproperties
von: Aceto, Luca, et al.
Veröffentlicht: (2024)

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

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

HypRL: Reinforcement Learning of Control Policies for Hyperproperties
von: Hsu, Tzu-Han, et al.
Veröffentlicht: (2025)

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

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

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

Hyperproperty-Constrained Secure Reinforcement Learning
von: Bonnah, Ernest, et al.
Veröffentlicht: (2025)

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

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

Dependence Logics in Temporal Settings
von: Baltag, Alexandru, et al.
Veröffentlicht: (2022)

Guarded Successor: A Novel Temporal Logic
von: Asor, Ohad
Veröffentlicht: (2024)

A Linear Temporal Logic of Frequencies on Series of Events
von: Antonelli, Melissa, et al.
Veröffentlicht: (2026)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
von: Afshari, Bahareh, et al.
Veröffentlicht: (2024)

Temporal Explorability Games
von: Austin, Pete, et al.
Veröffentlicht: (2024)

On the Metric Temporal Logic for Continuous Stochastic Processes
von: Ikeda, Mitsumasa, et al.
Veröffentlicht: (2023)

Synthesising Full-Information Protocols
von: Berwanger, Dietmar, et al.
Veröffentlicht: (2023)

List types for resource aware languages: an implicit name approach
von: Ghilezan, Silvia, et al.
Veröffentlicht: (2021)