"A Counter Abstraction Technique for the Verification of Probabilistic ..."

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