Automated verification and strategy synthesis for probabilistic systems. (2013)

by M Kwiatkowska, D Parker
Venue:Proc. 11th International Symposium on Automated Technology for Verification and Analysis (ATVA’13),