Probabilistic Hyperproperties with Nondeterminism

DOI10.1007/978-3-030-59152-6_29MaRDI QIDQ6485910zbMATH OpenWikidataFDO

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

Publication date 22 December 2022

Published in 1517.68218 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-59152-6_29

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Markov and semi-Markov decision processes (90C40)

Recommendations

• Probabilistic Hyperproperties of Markov Decision Processes
• HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
• HyperPCTL model checking by probabilistic decomposition
• Model checking algorithms for hyperproperties (invited paper)
• Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals

Cited in

(12)

• HyperPCTL model checking by probabilistic decomposition
• scientific article; zbMATH DE number 6851935 (Why is no real title available?)
• HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
• Parameter synthesis in Markov models: a gentle survey
• Probabilistic Hyperproperties of Markov Decision Processes
• Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals
• Bounded model checking for asynchronous hyperproperties
• Introducing asynchronicity to probabilistic hyperproperties
• Deductive controller synthesis for probabilistic hyperproperties
• Deciding hyperproperties combined with functional specifications
• Stochastic games with synchronization objectives
• HyperLTL satisfiability is highly undecidable, \(\mathrm{HyperCTL}^*\) is even harder

This page was built for publication: Probabilistic Hyperproperties with Nondeterminism

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