Report copyright - Abstraction Re nement for Probabilistic Softwareqav.comlab.ox.ac.uk/papers/vmcai09.pdf · state transition systems augmented with probabilistic information, such as Markov decision
Please pass captcha verification before submit form