Verifying the long-run behavior of probabilistic system models in the presence of uncertainty
Research article (Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018) · cited 11× · AI/ML