Formal Abstraction and Synthesis of Parametric Stochastic Processes

Peruffo A, Abate A
2021
Conference paper
Journal:
Lecture Notes in Computer Science
Volume:
12860
,
Springer Nature
,
pp.
135 - 153
No abstract available
Keywords:
46 Information and Computing Sciences
DOI
10.1007/978-3-030-85037-1_9