![Metaphysics / Formal methods / Theoretical computer science / Modal logic / Philosophical logic / Predicate abstraction / Markov decision process / Logic / Refinement / Abstraction / Krivine machine Metaphysics / Formal methods / Theoretical computer science / Modal logic / Philosophical logic / Predicate abstraction / Markov decision process / Logic / Refinement / Abstraction / Krivine machine](https://www.pdfsearch.io/img/abee46186a84a424bf790b8f8bd73d4b.jpg) Date: 2008-10-24 07:08:14Metaphysics Formal methods Theoretical computer science Modal logic Philosophical logic Predicate abstraction Markov decision process Logic Refinement Abstraction Krivine machine | | Abstraction Refinement for Probabilistic Software Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. We present a methodologAdd to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 523,17 KBShare Document on Facebook
|