Formal Abstraction and Synthesis of Parametric Stochastic Processes

Peruffo A, Abate A
2021
Conference paper
Journal:
FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2021
Volume:
12860
,
pp.
135 - 153
No abstract available
DOI
10.1007/978-3-030-85037-1_9