Verifying the long-run behavior of probabilistic system models in the presence of uncertainty

Article Details
Title:	Verifying the long-run behavior of probabilistic system models in the presence of uncertainty
Article URLs:	https://doi.org/10.1145/3236024.3236078
Alternative Article URLs:
Authors:	Yamilet R. Serrano Llerena	National University of Singapore Universidad de Ingenieria y Tecnologia
	Marcel Böhme	Monash University
	Marc Brünink	National University of Singapore
	Guoxin Su	University of Wollongong
	David S. Rosenblum	National University of Singapore
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://github.com/mboehme/mboehme.github.io/blob/master/paper/FSE18.zip
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/sigsoft/LlerenaBBSR18
Author Comments:

ACM Foundations of Software Engineering, FSE 2018