Deductive controller synthesis for probabilistic hyperproperties

DOI10.1007/978-3-031-43835-6_20MaRDI QIDQ6546464

Milan Češka, Francesco Pontiggia, Roman Andriushchenko, Ezio Bartocci, Sarah Sallinger

Publication date: 29 May 2024

Mathematics Subject Classification ID

Synthesis problems (93B50) Markov and semi-Markov decision processes (90C40)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A logic for reasoning about time and reliability
• Inductive synthesis for probabilistic programs reaches new horizons
• Model checking hyperproperties for Markov decision processes
• HyperPCTL model checking by probabilistic decomposition
• Synthesis from hyperproperties
• Verification and Control of Partially Observable Probabilistic Real-Time Systems
• Model Checking Probabilistic Systems
• A logical approach to multilevel security of probabilistic systems
• Probabilistic Couplings from Program Logics
• Differential Privacy
• Synthesizing reactive systems from hyperproperties
• Shepherding hordes of Markov chains
• HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
• On probability-raising causality in Markov decision processes
• Probabilistic Hyperproperties of Markov Decision Processes
• Probabilistic Hyperproperties with Nondeterminism
• Software Verification of Hyperproperties Beyond k-Safety

This page was built for publication: Deductive controller synthesis for probabilistic hyperproperties

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