1![LIPIcs Leibniz International Proceedings in Informatics Verification and Refutation of∗ Probabilistic Specifications via Games LIPIcs Leibniz International Proceedings in Informatics Verification and Refutation of∗ Probabilistic Specifications via Games](https://www.pdfsearch.io/img/a5e66462dec12ea4cdbf1fc6da3defa4.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2009-10-23 08:59:09
|
---|
2![Reachability in Recursive Markov Decision Processes? Tom´ aˇs Br´ azdil, V´ aclav Broˇzek, Vojtˇech Forejt, and Anton´ın Kuˇcera Reachability in Recursive Markov Decision Processes? Tom´ aˇs Br´ azdil, V´ aclav Broˇzek, Vojtˇech Forejt, and Anton´ın Kuˇcera](https://www.pdfsearch.io/img/628ead49b5c87099b9bb6b2b6b0d68c1.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 06:17:29
|
---|
3![GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. Edinburgh GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. Edinburgh](https://www.pdfsearch.io/img/669cd45e22d7f24449a74db55a374312.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2007-07-05 11:36:54
|
---|
4![Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers](https://www.pdfsearch.io/img/eb5be622cbd48cc120efd3ae96551c11.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2018-05-14 04:41:41
|
---|
5![Multi-objective discounted reward verification in graphs and MDPs Krishnendu Chatterjee1 , Vojtˇech Forejt2 , and Dominik Wojtczak3 1 2 Multi-objective discounted reward verification in graphs and MDPs Krishnendu Chatterjee1 , Vojtˇech Forejt2 , and Dominik Wojtczak3 1 2](https://www.pdfsearch.io/img/b82af931e75ea5e28e44178f006baab9.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 11:49:36
|
---|
6![Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK](https://www.pdfsearch.io/img/47ee5d91acbc665de48bb2a25c4259f3.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-07-04 05:12:57
|
---|
7![PRISM-games: A Model Checker for Stochastic Multi-Player Games Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Aistis Simaitis1 1 2 PRISM-games: A Model Checker for Stochastic Multi-Player Games Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Aistis Simaitis1 1 2](https://www.pdfsearch.io/img/1c2dcece67223b6b09e72bbc1ed51f6f.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-01-13 05:57:32
|
---|
8![A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1 A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1](https://www.pdfsearch.io/img/5691cace1f6702879d79d9ad43581ce9.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-07-05 04:52:12
|
---|
9![When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts Simon Eberz∗ , Giulio Lovisotto∗ , Andrea Patan`e∗ , Marta Kwiatkowska∗ , Vincent Lenders† and Ivan Ma When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts Simon Eberz∗ , Giulio Lovisotto∗ , Andrea Patan`e∗ , Marta Kwiatkowska∗ , Vincent Lenders† and Ivan Ma](https://www.pdfsearch.io/img/0502724999bd2dd22a3d6e89a3bcf80c.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2018-04-03 02:53:51
|
---|
10![Acta Informatica manuscript No. (will be inserted by the editor) Precise Parameter Synthesis for Stochastic Biochemical Systems ˇ ska · Frits Dannenberg · Acta Informatica manuscript No. (will be inserted by the editor) Precise Parameter Synthesis for Stochastic Biochemical Systems ˇ ska · Frits Dannenberg ·](https://www.pdfsearch.io/img/8df0cb3735c30e4288604b3e7647331b.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-03-04 09:24:11
|
---|