Probabilistic Hyperproperties with Nondeterminism

DOI10.1007/978-3-030-59152-6_29WikidataQ124212502 ScholiaQ124212502MaRDI QIDQ6485910

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

Publication date: 22 December 2022

Published in: 1517.68218 (Search for Journal in Brave)

Mathematics Subject Classification ID

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

This page was built for publication: Probabilistic Hyperproperties with Nondeterminism