Formal Abstraction and Synthesis of Parametric Stochastic Processes

Peruffo A, Abate A
No abstract available