Probabilistic hyperproperties specify quantitative relations between the...
This paper marries two state-of-the-art controller synthesis methods for...
We present a novel learning framework to obtain finite-state controllers...
This paper presents a novel method for the automated synthesis of
probab...