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![Int. J. of Intelligent Engineering Informatics, Vol. x, No. x, 1–26 Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations Nasrine Damouche* and Matthieu Martel Universit´e de Perpign Int. J. of Intelligent Engineering Informatics, Vol. x, No. x, 1–26 Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations Nasrine Damouche* and Matthieu Martel Universit´e de Perpign](https://www.pdfsearch.io/img/8bd4384c810823ea6b7062f961ac022b.jpg) | Add to Reading ListSource URL: perso.univ-perp.frLanguage: English - Date: 2018-01-15 07:35:42
|
---|
3![Extended Abstract: Risk-Sensitive Planning with Dynamic Uncertainty Liana Marinescu Department of Informatics, King’s College London Extended Abstract: Risk-Sensitive Planning with Dynamic Uncertainty Liana Marinescu Department of Informatics, King’s College London](https://www.pdfsearch.io/img/d5b1cfda83662865c6ec829782d02c18.jpg) | Add to Reading ListSource URL: icaps16.icaps-conference.orgLanguage: English - Date: 2016-06-09 08:09:33
|
---|
4![Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella](https://www.pdfsearch.io/img/78f2fe22141226d68bed77b54a6d99a1.jpg) | Add to Reading ListSource URL: www.inf.ed.ac.ukLanguage: English - Date: 2012-09-24 08:45:19
|
---|
5![INFORMATICS DEVELOPMEN T AGENCY Digitally signed by INFORMATICS INFORMATICS DEVELOPMEN T AGENCY Digitally signed by INFORMATICS](https://www.pdfsearch.io/img/6367fc75e5e20099f22fb053f9d3d802.jpg) | Add to Reading ListSource URL: council.dev.edu.uoc.grLanguage: Greek - Date: 2016-02-29 08:12:38
|
---|
6![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
|
---|
7![CALL FOR PAPERS 31. Annual Meeting of the Swiss Society for Medical Informatics September 11th and 12th 2018, Stade de Suisse, Bern In cooperation with Swiss eHealth Summit und HIMSS CALL FOR PAPERS 31. Annual Meeting of the Swiss Society for Medical Informatics September 11th and 12th 2018, Stade de Suisse, Bern In cooperation with Swiss eHealth Summit und HIMSS](https://www.pdfsearch.io/img/f017213108c21b1f24c927e005baeb45.jpg) | Add to Reading ListSource URL: www.sgmi-ssim.orgLanguage: English - Date: 2018-05-28 08:58:30
|
---|
8![Dissertation Abstract ¨ Emre Okkes ¸ Savas¸ Supervisors: Maria Fox, Derek Long Department of Informatics, Dissertation Abstract ¨ Emre Okkes ¸ Savas¸ Supervisors: Maria Fox, Derek Long Department of Informatics,](https://www.pdfsearch.io/img/6e7c3949d86b9cfc89afe60ecdf812ca.jpg) | Add to Reading ListSource URL: icaps16.icaps-conference.orgLanguage: English - Date: 2016-06-09 08:09:40
|
---|
9![Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics](https://www.pdfsearch.io/img/c74b85c88dbfc1f184bc40d6915511f4.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2010-08-25 14:16:19
|
---|
10![LIPIcs Leibniz International Proceedings in Informatics Continuous-Time Stochastic Games with Time-Bounded Reachability LIPIcs Leibniz International Proceedings in Informatics Continuous-Time Stochastic Games with Time-Bounded Reachability](https://www.pdfsearch.io/img/8e8190729f2fdba283c505d15b493707.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 10:22:58
|
---|