Probabilistic Hyperproperties of Markov Decision Processes

DOI10.1007/978-3-030-59152-6_27MaRDI QIDQ6485906

Rayna Dimitrova, Hazem Torfah, Bernd Finkbeiner

Publication date: 22 December 2022

Published in: 1517.68228 (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)

Related Items (2)

Temporal causality in reactive systems ⋮ Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals

This page was built for publication: Probabilistic Hyperproperties of Markov Decision Processes