"Formal Abstraction and Synthesis of Parametric Stochastic Processes."

Andrea Peruffo, Alessandro Abate (2021)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics