Parks

Results: 32222



#Item
1Markov processes / Probability / Markov models / Model checkers / PRISM model checker / Model checking / Markov reward model / Markov chain / Markov decision process / Probabilistic CTL / Prism

PRISM: Probabilistic Model Checking for Performance and Reliability Analysis Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD {marta.

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2008-12-15 10:57:28
2Metaphysics / 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

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2008-10-24 07:08:14
3Probability / Dynamic programming / Markov decision process / Stochastic control / PRISM model checker / Reinforcement learning / Probabilistic CTL / Application software

Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road,

Add to Reading List

Source URL: www.prismmodelchecker.org

Language: English - Date: 2012-05-10 09:21:45
4Mathematics / Mathematical logic / Theoretical computer science / Logic in computer science / Temporal logic / Process calculi / Ambient calculus / Computation tree logic / Bisimulation / Propositional calculus / Distribution / Well-formed formula

Probabilistic Mobile Ambients Marta Kwiatkowskaa , Gethin Norman∗,a , David Parkera , Maria Grazia Vigliottib a Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD of Computing, Imperi

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2009-01-19 04:25:05
5Temporal logic / Theoretical computer science / Mathematics / Linear temporal logic / Probability / Computation tree logic / IP / Probabilistic CTL / PRISM model checker / Markov decision process / Model checking / Markov chain

∗ Quantitative Verification: Models, Techniques and Tools Marta Kwiatkowska Oxford University Computing Laboratory Parks Road, Oxford OX1 3QD, UK

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2007-07-13 07:18:18
6Dynamic programming / Markov decision process / Stochastic control / Symbol / PP / Probability and statistics / Probability / Theoretical computer science / Models of computation

Stochastic Games for Verification of Probabilistic Timed Automata Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. Probabilistic timed auto

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2010-04-16 06:37:28
7

Compositional Verification of Probabilistic Systems using Learning Lu Feng, Marta Kwiatkowska, David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Email: {lu.feng, marta.kwiatkowska, david.pa

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2010-08-20 07:50:57
    8Formal methods / Model checkers / Metaphysics / Model checking / Theoretical computer science / PRISM model checker / Computing / Refinement / Abstraction / Markov chain / Stochastic

    On Quantitative Software Verification Marta Kwiatkowska Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract: Software verification has made great progress in recent years, resulting in several to

    Add to Reading List

    Source URL: qav.comlab.ox.ac.uk

    Language: English - Date: 2009-07-29 05:44:10
    9Network architecture / Distributed computing / Gossip protocol / PRISM model checker / Computing / Application software / Distributed data storage / Software / Game theory

    Analysis of a Gossip Protocol in PRISM Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD ABSTRACT Gossip protocols have been proposed

    Add to Reading List

    Source URL: qav.comlab.ox.ac.uk

    Language: English - Date: 2008-10-20 08:29:16
    10

    PDF Document

    Add to Reading List

    Source URL: ohv.parks.ca.gov

    - Date: 2017-12-13 14:01:02
      UPDATE