Imagen de Portada

Unifying Asynchronous Logics for Hyperproperties

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Bombardelli, Alberto, Bozzelli, Laura, Sánchez, César, Tonetta, Stefano
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Asynchronous Composition of LTL Properties over Infinite and Finite Traces
por: Bombardelli, Alberto, et al.
Publicado: (2023)

Logics and Algorithms for Hyperproperties
por: Finkbeiner, Bernd
Publicado: (2025)

Automata-Theoretic Characterisations of Branching-Time Temporal Logics
por: Benerecetti, Massimo, et al.
Publicado: (2024)

Temporal Hyperproperties for Population Protocols
por: Waldburger, Nicolas, et al.
Publicado: (2024)

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

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

Logics for Context-free Hyperproperties
por: Winter, Sarah, et al.
Publicado: (2026)

Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)
por: Dardinier, Thibault, et al.
Publicado: (2023)

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

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

Explainability Requirements as Hyperproperties
por: Finkbeiner, Bernd, et al.
Publicado: (2025)

Tractable Hyperproperties for MDPs
por: Gerlach, Lina, et al.
Publicado: (2026)

Hyperproperty Verification as CHC Satisfiability
por: Itzhaky, Shachar, et al.
Publicado: (2023)

Reasoning about Quality in Hyperproperties
por: Graepler, Samuel, et al.
Publicado: (2025)

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

HyperQB: A Bounded Model Checker for Hyperproperties
por: Hsu, Tzu-Han, et al.
Publicado: (2021)

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

The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete
por: Bozzelli, L., et al.
Publicado: (2022)

A first-order logic characterization of safety and co-safety languages
por: Cimatti, Alessandro, et al.
Publicado: (2022)

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

LPrL: An Asynchronous Linear Time Hyper Logic
por: Duggirala, Parasara Sridhar, et al.
Publicado: (2025)

Module checking of pushdown multi-agent systems
por: Bozzelli, Laura, et al.
Publicado: (2020)

Decentralized Planning Using Probabilistic Hyperproperties
por: Pontiggia, Francesco, et al.
Publicado: (2025)

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

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

Centralized vs Decentralized Monitors for Hyperproperties
por: Aceto, Luca, et al.
Publicado: (2024)

Monitoring Second-Order Hyperproperties
por: Beutner, Raven, et al.
Publicado: (2024)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
por: Lyon, Tim S.
Publicado: (2024)

HypRL: Reinforcement Learning of Control Policies for Hyperproperties
por: Hsu, Tzu-Han, et al.
Publicado: (2025)

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

Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions
por: Pears, Jonah, et al.
Publicado: (2024)

Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
por: Li, James, et al.
Publicado: (2024)

Unifying Graded Linear Logic and Differential Operators
por: Breuvart, Flavien, et al.
Publicado: (2024)

Agent-Knowledge Logic for Alternative Epistemic Logic
por: Nishimura, Yuki
Publicado: (2024)

Inquisitive Team Semantics of LTL
por: Bozzelli, Laura, et al.
Publicado: (2025)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
por: Lyon, Tim S.
Publicado: (2023)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
por: Marin, Sonia, et al.
Publicado: (2025)

Skolemization In Intermediate Logics
por: Baaz, Matthias, et al.
Publicado: (2025)

Constructive Quantum Logics
por: Aguilera, Juan P., et al.
Publicado: (2025)

A Logic of Inability
por: Wang, Shanxia
Publicado: (2026)