1![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
|
---|
2![Model Checking of Hybrid Systems Goran Frehse AVACS Autumn School, October 1, 2015 Univ. Grenoble Alpes – Verimag, 2 avenue de Vignate, Centre Equation, 38610 Gières, France, Model Checking of Hybrid Systems Goran Frehse AVACS Autumn School, October 1, 2015 Univ. Grenoble Alpes – Verimag, 2 avenue de Vignate, Centre Equation, 38610 Gières, France,](https://www.pdfsearch.io/img/58e70e97c4f973d48910540abdcbcacd.jpg) | Add to Reading ListSource URL: www.avacs.orgLanguage: English - Date: 2015-10-05 02:55:26
|
---|
3![Google Pixel 2 XL Product environmental report Model G011C, introduced October 4, 2017
Environmental Google Pixel 2 XL Product environmental report Model G011C, introduced October 4, 2017
Environmental](https://www.pdfsearch.io/img/c398c995b4bca2d783688a852e75d942.jpg) | Add to Reading ListSource URL: storage.googleapis.comLanguage: English - Date: 2018-09-04 14:50:08
|
---|
4![Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates Roberto Barbuti1 , Francesca Levi1 , Paolo Milazzo1 , and Guido Scatena2 1 2 Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates Roberto Barbuti1 , Francesca Levi1 , Paolo Milazzo1 , and Guido Scatena2 1 2](https://www.pdfsearch.io/img/762591f7df012f29560aba48a1db5ce7.jpg) | Add to Reading ListSource URL: pages.di.unipi.itLanguage: English - Date: 2015-12-18 06:55:14
|
---|
5![A Model-Constructing Satisfiability Calculus Leonardo de Moura1 and Dejan Jovanovi´c2 1 2 Microsoft Research A Model-Constructing Satisfiability Calculus Leonardo de Moura1 and Dejan Jovanovi´c2 1 2 Microsoft Research](https://www.pdfsearch.io/img/e1586a1b97ba6e768e9ef53a61aa166f.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2014-06-27 12:47:14
|
---|
6![Kompaktflyer 06: Der Business Model Navigator 2/3 Kompaktflyer 06: Der Business Model Navigator 2/3](https://www.pdfsearch.io/img/b6197cf0c57b7b619099d6f07576a769.jpg) | Add to Reading ListSource URL: gemeinsam-digital.deLanguage: German - Date: 2017-08-07 05:23:19
|
---|
7![Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK](https://www.pdfsearch.io/img/1c341bb13b932479a2bb79495145a571.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2012-06-29 07:04:13
|
---|
8![Combination Methods for Model-Checking of Infinite-State Systems S. Ghilardi1 , E. Nicolini2 , S. Ranise2 , and D. Zucchelli1,2 1 Università 2 LORIA Combination Methods for Model-Checking of Infinite-State Systems S. Ghilardi1 , E. Nicolini2 , S. Ranise2 , and D. Zucchelli1,2 1 Università 2 LORIA](https://www.pdfsearch.io/img/26db63d4d4b9fd5b06dc43c5c48cbe21.jpg) | Add to Reading ListSource URL: www.lsi.upc.eduLanguage: English - Date: 2007-07-09 05:49:18
|
---|
9![Multi-Objective Model Checking of Markov Decision Processes K. Etessami1 , M. Kwiatkowska2, M. Y. Vardi3 , and M. Yannakakis4 1 2 Multi-Objective Model Checking of Markov Decision Processes K. Etessami1 , M. Kwiatkowska2, M. Y. Vardi3 , and M. Yannakakis4 1 2](https://www.pdfsearch.io/img/9da56ca57599288837973539085a0e0e.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2007-06-27 11:49:37
|
---|
10![Towards Solving Differential Equations through Neural Programming Forough Arabshahi 1 Sameer Singh 1 Animashree Anandkumar 2 1. Introduction Differential equations are used to model numerous phenomena such as heat, elec Towards Solving Differential Equations through Neural Programming Forough Arabshahi 1 Sameer Singh 1 Animashree Anandkumar 2 1. Introduction Differential equations are used to model numerous phenomena such as heat, elec](https://www.pdfsearch.io/img/b3edf2c8554848d593b957656804519b.jpg) | Add to Reading ListSource URL: uclmr.github.ioLanguage: English - Date: 2018-08-06 06:17:49
|
---|