v1v2 (latest)

Shepherding Hordes of Markov Chains

15 February 2019

Papers citing "Shepherding Hordes of Markov Chains"

2 / 2 papers shown

Title
Deductive Controller Synthesis for Probabilistic HyperpropertiesInternational Conference on Quantitative Evaluation of Systems (QEST), 2023 Roman Andriushchenko E. Bartocci Milan Ceska Francesco Pontiggia Sarah Sallinger 37 2 0 10 Jul 2023
Inductive Synthesis for Probabilistic Programs Reaches New HorizonsInternational Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2021 Roman Andriushchenko Milan Ceska Sebastian Junges J. Katoen 66 18 0 29 Jan 2021