"Parameterised Verification of Strategic Properties in Probabilistic ..."

Alessio Lomuscio, Edoardo Pirovano (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics