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

Full work available at URL https://doi.org/10.29007/37LF

zbMATH Keywords

information flow securityprobabilistic systemssynthesis

Mathematics Subject Classification ID

Temporal logic (03B44) 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)

Cites work

• Algorithms for model checking HyperLTL and HyperCTL^*
• Are parametric Markov chains monotonic?
• Constraint-based monitoring of hyperproperties
• Gray-box monitoring of hyperproperties
• scientific article; zbMATH DE number 3564899 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
• Model checking quantitative hyperproperties
• Model repair for probabilistic systems
• Monitoring hyperproperties
• Parameter synthesis for Markov models: faster than ever
• Parameter-Independent Strategies for pMDPs via POMDPs
• Parametric probabilistic transition systems for system design and analysis
• Precise parameter synthesis for stochastic biochemical systems
• Program Repair for Hyperproperties
• Rewriting-based runtime verification for alternation-free HyperLTL
• Synthesizing reactive systems from hyperproperties
• The algorithmic foundations of differential privacy
• The dining cryptographers problem: Unconditional sender and recipient untraceability
• Theoretical Aspects of Computing - ICTAC 2004
• Verifying hyperliveness

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)