Introducing asynchronicity to probabilistic hyperproperties

DOI10.1007/978-3-031-43835-6_4MaRDI QIDQ6546446zbMATH OpenFDO

Authors Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour

Publication date 29 May 2024

Full work available at URL https://doi.org/10.1007/978-3-031-43835-6_4

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Asynchronous extensions of hyperLTL
• A temporal logic for asynchronous hyperproperties
• HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
• Probabilistic Hyperproperties with Nondeterminism
• Probabilistic Hyperproperties of Markov Decision Processes

Cites work

• A model-constructing satisfiability calculus
• A temporal logic for asynchronous hyperproperties
• Bounded model checking for hyperproperties
• Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
• Decision procedures. An algorithmic point of view
• Expressiveness and decidability of temporal logics for asynchronous hyperproperties
• Flavors of sequential information flow
• Handbook of satisfiability. In 2 parts
• scientific article; zbMATH DE number 3497890 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
• HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
• Model checking hyperproperties for Markov decision processes
• Probabilistic Hyperproperties of Markov Decision Processes
• Probabilistic Hyperproperties with Nondeterminism
• The complexity of quantifier elimination and cylindrical algebraic decomposition

Cited in

(1)

• Asynchronous extensions of hyperLTL

This page was built for publication: Introducing asynchronicity to probabilistic hyperproperties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6546446)