Deductive Controller Synthesis for Probabilistic Hyperproperties

Roman Andriushchenko, Ezio Bartocci, Milan Ceska 0002, Francesco Pontiggia, Sarah Sallinger. Deductive Controller Synthesis for Probabilistic Hyperproperties. In Nils Jansen 0001, Mirco Tribastone, editors, Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings. Volume 14287 of Lecture Notes in Computer Science, pages 288-306, Springer, 2023. [doi]

Abstract

Abstract is missing.