Back to Results
First PageMeta Content
Metaphysics / 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 methodolog
Add to Reading List

Document Date: 2008-10-24 07:08:14


Open Document

File Size: 523,17 KB

Share Result on Facebook
UPDATE