Search for persons
X
?
Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
1
Verifying the long-run behavior of probabilistic system mod..:
, In:
?
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering ,
2
Probabilistic model checking of perturbed MDPs with applica..:
, In:
?
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering ,
3