1![Stochastic Synthesis for Stochastic Computing Vincent T. Lee, Armin Alaghi, Luis Ceze, Mark Oskin University of Washington arXiv:1810.04756v1 [cs.ET] 10 Oct 2018 Stochastic Synthesis for Stochastic Computing Vincent T. Lee, Armin Alaghi, Luis Ceze, Mark Oskin University of Washington arXiv:1810.04756v1 [cs.ET] 10 Oct 2018](https://www.pdfsearch.io/img/542c41b46a65d49b9727134f2f344abf.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2018-10-11 21:16:46
|
---|
2![Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,](https://www.pdfsearch.io/img/9cf4c03e043b852604fe480de929af96.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2016-04-24 16:51:40
|
---|
3![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
|
---|
4![A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1 A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1](https://www.pdfsearch.io/img/5691cace1f6702879d79d9ad43581ce9.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-07-05 04:52:12
|
---|
5![Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK](https://www.pdfsearch.io/img/275b93b15cf7e9fdf023ac6ff2c8bd00.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2012-05-10 09:21:59
|
---|
6![Acta Informatica manuscript No. (will be inserted by the editor) Precise Parameter Synthesis for Stochastic Biochemical Systems ˇ ska · Frits Dannenberg · Acta Informatica manuscript No. (will be inserted by the editor) Precise Parameter Synthesis for Stochastic Biochemical Systems ˇ ska · Frits Dannenberg ·](https://www.pdfsearch.io/img/8df0cb3735c30e4288604b3e7647331b.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-03-04 09:24:11
|
---|
7![Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi](https://www.pdfsearch.io/img/ed439e59e99bc0a188145a82580ba0a6.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2011-06-22 09:34:32
|
---|
8![Quantitative Stochastic Models in the Verification and Design of Software Systems IMPORTANT DATES. Submission of papers: Extended) Notification of acceptance: Camera-ready paper: Quantitative Stochastic Models in the Verification and Design of Software Systems IMPORTANT DATES. Submission of papers: Extended) Notification of acceptance: Camera-ready paper:](https://www.pdfsearch.io/img/2c9f19a1d53f73da9045912ec5cb137b.jpg) | Add to Reading ListSource URL: deepse.dei.polimi.itLanguage: English - Date: 2015-03-19 06:25:46
|
---|
9![Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of Oxford Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of Oxford](https://www.pdfsearch.io/img/c941e80ed63c48b3b203472973173d6b.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-06-06 06:27:29
|
---|
10![Stochastic arithmetic in multiprecision Stef Graillat Joint work with Fabienne Jézéquel and Yuxiang Zhu LIP6/PEQUAN - Université Pierre et Marie Curie (Paris 6) - CNRS NSV3, Third International Workshop on Numerical Stochastic arithmetic in multiprecision Stef Graillat Joint work with Fabienne Jézéquel and Yuxiang Zhu LIP6/PEQUAN - Université Pierre et Marie Curie (Paris 6) - CNRS NSV3, Third International Workshop on Numerical](https://www.pdfsearch.io/img/2ba640025198ff8ec729cc42ab7cff6b.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2010-07-21 10:31:13
|
---|