Abstract interpretation of programs as Markov decision processes (2005)

by D Monniaux
Venue:Science of Computer Programming, 58(1–2):179 – 205