Parameter synthesis for probabilistic hyperproperties

DOI10.29007/37LFMaRDI QIDQ7024215zbMATH OpenFDO

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

Publication date 20 February 2025

zbMATH Keywords

synthesisprobabilistic systemsinformation flow security

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

This page was built for publication: Parameter synthesis for probabilistic hyperproperties

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