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
|