Constructive logical characterizations of bisimilarity for reactive probabilistic systems
Bernardo, Marco
•
Miculan, Marino
2018