451![Computing and Estimating Information Leakage with a Quantitative Point-to-Point Information Flow Model by Computing and Estimating Information Leakage with a Quantitative Point-to-Point Information Flow Model by](https://www.pdfsearch.io/img/d1e6dc7a4477ae5b57e7a4debd229919.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2017-06-07 20:45:26
|
---|
452![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 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](https://www.pdfsearch.io/img/91a55978232df96da9f59fab6bc3cb8a.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2010-08-20 07:50:57
|
---|
453![RODES: A Robust-Design Synthesis Tool for Probabilistic Systems? ˇ ska2 , Simos Gerasimou1 , Marta Kwiatkowska3 , and Radu Calinescu1 , Milan Ceˇ Nicola Paoletti4 1 RODES: A Robust-Design Synthesis Tool for Probabilistic Systems? ˇ ska2 , Simos Gerasimou1 , Marta Kwiatkowska3 , and Radu Calinescu1 , Milan Ceˇ Nicola Paoletti4 1](https://www.pdfsearch.io/img/7b8aed0791f7c1f6556d6db14c94d5a1.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2017-09-12 07:46:02
|
---|
454![Equilibria in Finite Games Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by Anshul Gupta Equilibria in Finite Games Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by Anshul Gupta](https://www.pdfsearch.io/img/4fc9f5a5762dfcbc640e364d3c77bec1.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: English - Date: 2016-06-17 06:57:25
|
---|
455![Bridging the GUI Gap with Reactive Values and Relations Ivan Perez Henrik Nilsson School of Computer Science Bridging the GUI Gap with Reactive Values and Relations Ivan Perez Henrik Nilsson School of Computer Science](https://www.pdfsearch.io/img/9a5637af046272aa7d35518b4a13df27.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2018-10-16 07:48:38
|
---|
456![Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK](https://www.pdfsearch.io/img/59defa8fbc23388317b1ce2192c8cafe.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2018-06-25 05:08:25
|
---|
457![Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs](https://www.pdfsearch.io/img/b41c7395c0777afa2933b9801f3c60c0.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2014-02-26 06:04:38
|
---|
458![Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover](https://www.pdfsearch.io/img/a14a17f38b2d947548635024fbcc4b4c.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2018-08-15 07:19:09
|
---|
459![Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives? Tom´asˇ Br´azdil, Vojtˇech Forejt, and Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, B Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives? Tom´asˇ Br´azdil, Vojtˇech Forejt, and Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, B](https://www.pdfsearch.io/img/9541ef10620d78537f486da1b75fcc15.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 09:40:50
|
---|
460![On the Co-Existence of Distributed and Centralized Routing Control-Planes Stefano Vissicchio∗ , Luca Cittadini‡ , Olivier Bonaventure∗ , Geoffrey G. Xie§ , Laurent Vanbever† ∗ Universit´e catholique de Louva On the Co-Existence of Distributed and Centralized Routing Control-Planes Stefano Vissicchio∗ , Luca Cittadini‡ , Olivier Bonaventure∗ , Geoffrey G. Xie§ , Laurent Vanbever† ∗ Universit´e catholique de Louva](https://www.pdfsearch.io/img/185386d90c086b30e43e792743ac018d.jpg) | Add to Reading ListSource URL: inl.info.ucl.ac.beLanguage: English - Date: 2018-05-31 05:56:05
|
---|