Imagen de Portada

Reasoning about Quality in Hyperproperties

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Graepler, Samuel, Monmege, Benjamin, Talbot, Jean-Marc
Formato:	Preprint
Publicado:	2025
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

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

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

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

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

Unifying Asynchronous Logics for Hyperproperties
por: Bombardelli, Alberto, et al.
Publicado: (2024)

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

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

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

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

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

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)

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

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)

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

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)

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

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

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

Hyperproperty-Constrained Secure Reinforcement Learning
por: Bonnah, Ernest, et al.
Publicado: (2025)

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

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

Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models
por: Leneutre, Jean, et al.
Publicado: (2024)

Reasoning about Medical Triage Optimization with Logic Programming
por: Patil, Jaikrishna Manojkumar, et al.
Publicado: (2025)

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

Encoding and Reasoning about Arrays in Constraint Logic Programming with Sets
por: Cristiá, Maximiliano, et al.
Publicado: (2025)

Programming and Reasoning in Partially Observable Probabilistic Environments
por: Gürtler, Tobias, et al.
Publicado: (2025)

Semantic Foundations of Reductive Reasoning
por: Gheorghiu, Alexander V., et al.
Publicado: (2024)

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
por: Zhang, Linpeng, et al.
Publicado: (2024)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
por: Hermes, Marc, et al.
Publicado: (2023)

Reasoning about Weak Isolation Levels in Separation Logic
por: Mathiasen, Anders Alnor, et al.
Publicado: (2025)

Modal Logic for Reasoning About Uncertainty and Confusion
por: Bílková, Marta, et al.
Publicado: (2025)

Reasoning under uncertainty in the game of Cops and Robbers
por: Li, Dazhu, et al.
Publicado: (2025)

Epistemic Skills: Reasoning about Knowledge and Oblivion
por: Liang, Xiaolong, et al.
Publicado: (2025)

Multi-Environment MDPs with Prior and Universal Semantics
por: Bordais, Benjamin, et al.
Publicado: (2026)

From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses
por: Vitali, Fabio
Publicado: (2025)

Reasoning about Interior Mutability in Rust using Library-Defined Capabilities
por: Poli, Federico, et al.
Publicado: (2024)