Introducing asynchronicity to probabilistic hyperproperties
From MaRDI portal
Publication:6546446
DOI10.1007/978-3-031-43835-6_4MaRDI QIDQ6546446
Lina Gerlach, Oyendrila Dobe, Ezio Bartocci, Borzoo Bonakdarpour, Erika Ábrahám
Publication date: 29 May 2024
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Decision procedures. An algorithmic point of view
- A temporal logic for asynchronous hyperproperties
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
- Bounded model checking for hyperproperties
- Model checking hyperproperties for Markov decision processes
- Flavors of sequential information flow
- A Model-Constructing Satisfiability Calculus
- HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
- HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
- Probabilistic Hyperproperties of Markov Decision Processes
- Probabilistic Hyperproperties with Nondeterminism
- Expressiveness and decidability of temporal logics for asynchronous hyperproperties
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)
