81![Strategy Synthesis for Markov Decision Processes and Branching-Time Logics Tom´asˇ Br´azdil⋆ and Vojtˇech Forejt⋆⋆ Faculty of Informatics, Masaryk University, Botanick´a 68a, 60200 Brno, Czech Republic. Strategy Synthesis for Markov Decision Processes and Branching-Time Logics Tom´asˇ Br´azdil⋆ and Vojtˇech Forejt⋆⋆ Faculty of Informatics, Masaryk University, Botanick´a 68a, 60200 Brno, Czech Republic.](https://www.pdfsearch.io/img/93c248430638db372127e953cc438293.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 06:48:09
|
---|
82![Functional Reactive Programming, Refactored Ivan Perez Manuel B¨arenz Henrik Nilsson Functional Reactive Programming, Refactored Ivan Perez Manuel B¨arenz Henrik Nilsson](https://www.pdfsearch.io/img/9dd8d62003a423c4264d3ee0fa945a78.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2018-10-16 07:48:38
|
---|
83![Dynamic Web Data: a Process Algebraic Approach Sergio Maffeis Department of Computing, Imperial College London Ph.D. Thesis, 2005. Thesis supervisor: Philippa Gardner Dynamic Web Data: a Process Algebraic Approach Sergio Maffeis Department of Computing, Imperial College London Ph.D. Thesis, 2005. Thesis supervisor: Philippa Gardner](https://www.pdfsearch.io/img/9025b8ee8a87ca8d4fbd54b2f1ea1fb4.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2009-08-14 07:09:04
|
---|
84![Automated Reasoning for EXplainable Artificial Intelligence Maria Paola Bonacina Dipartimento di Informatica Universit` a degli Studi di Verona Automated Reasoning for EXplainable Artificial Intelligence Maria Paola Bonacina Dipartimento di Informatica Universit` a degli Studi di Verona](https://www.pdfsearch.io/img/c8bade022e37071a19d148d945619a93.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-08-08 03:28:31
|
---|
85![Cooperating Proof Attempts Giles Reger, Dmitry Tishkovsky, and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. This paper introduces a pseudo-concurrent architecture for first-order saturation-based Cooperating Proof Attempts Giles Reger, Dmitry Tishkovsky, and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. This paper introduces a pseudo-concurrent architecture for first-order saturation-based](https://www.pdfsearch.io/img/c262f000ce4ceeced75a27bb84d14fc7.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2016-07-20 13:24:09
|
---|
86![Model Checking Probabilistic Knowledge: A PSPACE Case Xiaowei Huang and Marta Kwiatkowska University of Oxford, UK Abstract Model checking probabilistic knowledge of memoryful semantics is undecidable, even for a simple Model Checking Probabilistic Knowledge: A PSPACE Case Xiaowei Huang and Marta Kwiatkowska University of Oxford, UK Abstract Model checking probabilistic knowledge of memoryful semantics is undecidable, even for a simple](https://www.pdfsearch.io/img/f8f424737d3262172febdd62b24bd13f.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2015-12-10 11:06:15
|
---|
87![Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France NSV, July 22-23, 2017 Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France NSV, July 22-23, 2017](https://www.pdfsearch.io/img/6efe01fdc5e337c586d7cce460280ea2.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.ukLanguage: English - Date: 2017-07-31 08:52:27
|
---|
88![Dissertation Reactive Synthesis: branching logic & parameteri zed systems Ayrat Khalimov Advisor: Roderick Bloem Dissertation Reactive Synthesis: branching logic & parameteri zed systems Ayrat Khalimov Advisor: Roderick Bloem](https://www.pdfsearch.io/img/e8514463966353cf946401421e5e67c6.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: English - Date: 2018-05-18 11:56:24
|
---|
89![AVATAR Modulo Theories Nikolaj Bjøner1 Giles Reger2 Martin Suda3 Andrei Voronkov2,4,5 1 Microsoft Research, Redmond, USA University of Manchester, Manchester, UK AVATAR Modulo Theories Nikolaj Bjøner1 Giles Reger2 Martin Suda3 Andrei Voronkov2,4,5 1 Microsoft Research, Redmond, USA University of Manchester, Manchester, UK](https://www.pdfsearch.io/img/b2f469c5be6f8c1d33f4d72cb348932b.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2016-10-06 05:17:59
|
---|
90![An Introduction to the Dynamics of Real and Complex Quadratic Polynomials. May 30, 2011 Abstract An Introduction to the Dynamics of Real and Complex Quadratic Polynomials. May 30, 2011 Abstract](https://www.pdfsearch.io/img/9d290df0924447f192284d403fd5ce51.jpg) | Add to Reading ListSource URL: www.homepages.ucl.ac.ukLanguage: English - Date: 2015-06-01 06:51:26
|
---|