1![A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017 A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017](https://www.pdfsearch.io/img/5fdb192c08a94a4ec86e79f2036b6622.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-09-19 11:02:58
|
---|
2![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
|
---|
3![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
|
---|
4![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
|
---|
5![British long distance swimmer David Davies uses visualisation techniques to motivate himself to train every morning. PSYCHOLOGY British long distance swimmer David Davies uses visualisation techniques to motivate himself to train every morning. PSYCHOLOGY](https://www.pdfsearch.io/img/8d2d27dd36d8dde868c210cfae52a2a4.jpg) | Add to Reading ListSource URL: www.psychologywriter.org.ukLanguage: English - Date: 2014-12-18 16:21:50
|
---|
6![FOCUS OUR GUIDE TO SOLUTIONS FOCUS OUR GUIDE TO SOLUTIONS](https://www.pdfsearch.io/img/1611186b452c53bdf5847c7869417441.jpg) | Add to Reading ListSource URL: assets.focus-solutions.co.ukLanguage: English - Date: 2018-04-25 09:29:23
|
---|
7![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
|
---|
8![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
|
---|
9![What is a Trace? A Runtime Verification Perspective Giles Reger1 1 2 What is a Trace? A Runtime Verification Perspective Giles Reger1 1 2](https://www.pdfsearch.io/img/07a970688bbac4ee3687d7cf12fda881.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2016-10-13 07:25:09
|
---|
10![1 Safe Update of Hybrid SDN Networks Stefano Vissicchio, Laurent Vanbever, Luca Cittadini, Geoffrey G. Xie, Olivier Bonaventure Abstract—The support for safe network updates, i.e., live 1 Safe Update of Hybrid SDN Networks Stefano Vissicchio, Laurent Vanbever, Luca Cittadini, Geoffrey G. Xie, Olivier Bonaventure Abstract—The support for safe network updates, i.e., live](https://www.pdfsearch.io/img/e131a67c4bc1f040171fe7a10297f152.jpg) | Add to Reading ListSource URL: www0.cs.ucl.ac.ukLanguage: English - Date: 2016-12-20 05:43:00
|
---|