101![On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud](https://www.pdfsearch.io/img/7e5be51973e289726ff2cf6c42a95e14.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-06-19 11:02:11
|
---|
102![ProbReach: Probabilistic Bounded Reachability for Uncertain Hybrid Systems Fedor Shmarov, Paolo Zuliani School of Computing Science, Newcastle University, UK ProbReach: Probabilistic Bounded Reachability for Uncertain Hybrid Systems Fedor Shmarov, Paolo Zuliani School of Computing Science, Newcastle University, UK](https://www.pdfsearch.io/img/0321d6b74937841a5123908dce26a5c0.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.ukLanguage: English - Date: 2017-07-25 18:51:20
|
---|
103![Bisimulation for demonic schedulers? Konstantinos Chatzikokolakis1 , Gethin Norman2 , and David Parker2 1 Eindhoven University of Technology 2 Bisimulation for demonic schedulers? Konstantinos Chatzikokolakis1 , Gethin Norman2 , and David Parker2 1 Eindhoven University of Technology 2](https://www.pdfsearch.io/img/a7a5dcbd2ba925211846932703608ff9.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2009-01-08 10:00:18
|
---|
104![Probabilistic Model Checking of Contention Resolution in the IEEELow-Rate Wireless Personal Area Network Protocol Matthias Fruth School of Computer Science, University of Birmingham, Edgbaston, Birmingham, B15 Probabilistic Model Checking of Contention Resolution in the IEEELow-Rate Wireless Personal Area Network Protocol Matthias Fruth School of Computer Science, University of Birmingham, Edgbaston, Birmingham, B15](https://www.pdfsearch.io/img/2144c00ab04d68b819d9e92e3d3a36b0.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2007-06-27 11:48:43
|
---|
105![Safe Schedulability of Bounded-Rate Multi-Mode Systems Rajeev Alur ˇ Forejt Vojtech Safe Schedulability of Bounded-Rate Multi-Mode Systems Rajeev Alur ˇ Forejt Vojtech](https://www.pdfsearch.io/img/8b4de2fe6269077bebed601f20398252.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 11:12:41
|
---|
106![Social Trust: a Major Challenge for the Future of Autonomous Systems Social Trust: a Major Challenge for the Future of Autonomous Systems](https://www.pdfsearch.io/img/c1c7fbe57957f72342c87accd6922426.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-09-12 10:12:53
|
---|
107![On Frequency LTL in Probabilistic Systems Vojtěch Forejt1 and Jan Krčál2 1 2 Department of Computer Science, University of Oxford, UK On Frequency LTL in Probabilistic Systems Vojtěch Forejt1 and Jan Krčál2 1 2 Department of Computer Science, University of Oxford, UK](https://www.pdfsearch.io/img/847cfb8ae02de0068cb2fa5a7d523e48.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2015-10-01 09:36:06
|
---|
108![Reachability in Recursive Markov Decision Processes ? Tom´aˇs Br´azdil, V´aclav Broˇzek, Vojtˇech Forejt, Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, Botanick´ Reachability in Recursive Markov Decision Processes ? Tom´aˇs Br´azdil, V´aclav Broˇzek, Vojtˇech Forejt, Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, Botanick´](https://www.pdfsearch.io/img/cf9b89fc0079c800505a2389caf0fffc.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 06:33:37
|
---|
109![Designing Robust Software Systems through Parametric Markov Chain Synthesis ˇ ska† , Simos Gerasimou∗ , Marta Kwiatkowska‡ and Nicola Paoletti§ Radu Calinescu∗ , Milan Ceˇ ∗ Department of Computer Science, U Designing Robust Software Systems through Parametric Markov Chain Synthesis ˇ ska† , Simos Gerasimou∗ , Marta Kwiatkowska‡ and Nicola Paoletti§ Radu Calinescu∗ , Milan Ceˇ ∗ Department of Computer Science, U](https://www.pdfsearch.io/img/e122e812a95d5e34c6db167ca74c9598.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2017-03-10 09:53:57
|
---|