Abstract Interpretation of Programs as Markov Decision Processes.

David Monniaux Abstract Interpretation of Programs as Markov Decision Processes. 237-254 2003 conf/sas/2003 SAS http://dx.doi.org/10.1007/3-540-44898-5_13 db/conf/sas/sas2003.html#Monniaux03