91![Logical Methods in Computer Science Vol. 10(1:, pp. 1–29 www.lmcs-online.org Submitted Published Logical Methods in Computer Science Vol. 10(1:, pp. 1–29 www.lmcs-online.org Submitted Published](https://www.pdfsearch.io/img/128fa065afc41d48ed776488d46ed993.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2015-04-14 06:30:14
|
---|
92![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 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](https://www.pdfsearch.io/img/9f9940c799424b6e3fe17faf8701609f.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2010-04-16 06:37:28
|
---|
93![Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,∗, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,∗, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom](https://www.pdfsearch.io/img/7820132b9465d2b07685d19d24704697.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2017-04-04 09:30:36
|
---|
94![Rigorous Reachability Analysis and Domain Decomposition of Taylor Models Martin Berz and Kyoko Makino Department of Physics and Astronomy Michigan State University Rigorous Reachability Analysis and Domain Decomposition of Taylor Models Martin Berz and Kyoko Makino Department of Physics and Astronomy Michigan State University](https://www.pdfsearch.io/img/9a04335d7a92dd2037dde916d3fb1703.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.ukLanguage: English - Date: 2017-07-24 10:20:50
|
---|
95![Approximation of Probabilistic Reachability for Chemical Reaction Networks using the Linear Noise Approximation∗ Luca Bortolussi3 , Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1 Approximation of Probabilistic Reachability for Chemical Reaction Networks using the Linear Noise Approximation∗ Luca Bortolussi3 , Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1](https://www.pdfsearch.io/img/14d7400d756b4840bb665c92153ff35c.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-06-06 06:37:52
|
---|
96![Trading Performance for Stability in Markov Decision Processes Tom´asˇ Br´azdil∗ , Krishnendu Chatterjee† , Vojtˇech Forejt‡∗ , and Anton´ın Kuˇcera∗ ∗ Faculty of Informatics, Masaryk University ({xbr Trading Performance for Stability in Markov Decision Processes Tom´asˇ Br´azdil∗ , Krishnendu Chatterjee† , Vojtˇech Forejt‡∗ , and Anton´ın Kuˇcera∗ ∗ Faculty of Informatics, Masaryk University ({xbr](https://www.pdfsearch.io/img/0aebf86ff6f8ab7d084a910fe76f70b8.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 11:02:39
|
---|
97![Expected Reachability-Time Games Vojtˇech Forejta , Marta Kwiatkowskaa , Gethin Normanb , Ashutosh Trivedic a Department of Computer Science, University of Oxford, UK. of Computing Science, University of Glasgow, UK. Expected Reachability-Time Games Vojtˇech Forejta , Marta Kwiatkowskaa , Gethin Normanb , Ashutosh Trivedic a Department of Computer Science, University of Oxford, UK. of Computing Science, University of Glasgow, UK.](https://www.pdfsearch.io/img/2e0a7eb305b96884c9bcf77835476d34.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-04-15 06:20:35
|
---|
98![Automated Verification Techniques for Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK Automated Verification Techniques for Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK](https://www.pdfsearch.io/img/3c964b828a923a72677c2faab5b5fed8.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-10-06 19:34:00
|
---|
99![T DR AF Quantitative Verification Techniques for Biological Processes Marta Kwiatkowska, Gethin Norman, and David Parker T DR AF Quantitative Verification Techniques for Biological Processes Marta Kwiatkowska, Gethin Norman, and David Parker](https://www.pdfsearch.io/img/6a4fb9f857e5d56de35002fa99f081f7.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2010-01-12 07:51:06
|
---|
100![The Satisfiability Problem for Probabilistic CTL Tom´asˇ Br´azdil Vojtˇech Forejt Jan Kˇret´ınsk´y The Satisfiability Problem for Probabilistic CTL Tom´asˇ Br´azdil Vojtˇech Forejt Jan Kˇret´ınsk´y](https://www.pdfsearch.io/img/0bd1f7ef1daada981a6c0f09b703cc77.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 09:35:38
|
---|