Deductive Controller Synthesis for Probabilistic Hyperproperties

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

We present a deductive algorithm for the POMDP controller synthesis problem against probabilistic hyperproperties specifications.