51![Numerical quality: an industrial case study on code_aster Numerical Software Veri
cation Numerical quality: an industrial case study on code_aster Numerical Software Veri
cation](https://www.pdfsearch.io/img/b34dd6fb7f97c780346fd9d42d002dff.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.ukLanguage: English - Date: 2017-07-27 09:38:49
|
---|
52![Automated Quantitative Software Verification by Mark Kattenbelt A thesis submitted for the degree of Automated Quantitative Software Verification by Mark Kattenbelt A thesis submitted for the degree of](https://www.pdfsearch.io/img/92af37864d74706531e7eaaa9fccf898.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2011-03-15 10:13:22
|
---|
53![Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2 Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2](https://www.pdfsearch.io/img/d1649a13d6e2ec030f0844691d6cc1a6.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2017-01-24 06:23:37
|
---|
54![Form Methods Syst Des: 246–280 DOIs10703A Game-based Abstraction-Refinement Framework for Markov Decision Processes Mark Kattenbelt · Marta Kwiatkowska · Gethin Form Methods Syst Des: 246–280 DOIs10703A Game-based Abstraction-Refinement Framework for Markov Decision Processes Mark Kattenbelt · Marta Kwiatkowska · Gethin](https://www.pdfsearch.io/img/7e38e6d83322364e5a868d3fed2a6672.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2011-12-04 14:59:08
|
---|
55![Verification of Markov Decision Processes using Learning Algorithms? Tom´asˇ Br´azdil1 , Krishnendu Chatterjee2 , Martin Chmel´ık2 , Vojtˇech Forejt3 , Jan Kˇret´ınsk´y2 , Marta Kwiatkowska3 , David Parker4 , a Verification of Markov Decision Processes using Learning Algorithms? Tom´asˇ Br´azdil1 , Krishnendu Chatterjee2 , Martin Chmel´ık2 , Vojtˇech Forejt3 , Jan Kˇret´ınsk´y2 , Marta Kwiatkowska3 , David Parker4 , a](https://www.pdfsearch.io/img/5934d7192fe666b759508ed74986fa25.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2015-03-30 13:03:10
|
---|
56![An Object-Oriented Framework for Explicit-State Model Checking Mark Kattenbelt1 and Theo C. Ruys2 and Arend Rensink2 Abstract. This paper presents a conceptual architecture for an object-oriented framework to support the An Object-Oriented Framework for Explicit-State Model Checking Mark Kattenbelt1 and Theo C. Ruys2 and Arend Rensink2 Abstract. This paper presents a conceptual architecture for an object-oriented framework to support the](https://www.pdfsearch.io/img/86d0cc5b0d858c8e86c8975553904e11.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2008-02-25 10:26:47
|
---|
57![Sound Numeric Computations in Abstract Acceleration Dario Cattaruzza Alessandro Abate Daniel Kroening Sound Numeric Computations in Abstract Acceleration Dario Cattaruzza Alessandro Abate Daniel Kroening](https://www.pdfsearch.io/img/9e20b293690ea195e33ae07ddf5b4889.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.ukLanguage: English - Date: 2017-07-24 10:20:52
|
---|
58![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/b729b5824f60e9af76c3bd7d5468b194.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-04-25 05:07:53
|
---|
59![Expected Reachability-Time Games Vojtˇech Forejt1 , Marta Kwiatkowska2 , Gethin Norman3 , and Ashutosh Trivedi2 1 Faculty of Informatics, Masaryk University, Botanick´a 68a, Brno, Czech Republic Oxford University Compu Expected Reachability-Time Games Vojtˇech Forejt1 , Marta Kwiatkowska2 , Gethin Norman3 , and Ashutosh Trivedi2 1 Faculty of Informatics, Masaryk University, Botanick´a 68a, Brno, Czech Republic Oxford University Compu](https://www.pdfsearch.io/img/0260a8bf18b1f77dddbb0682747c96a8.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2010-06-15 16:26:37
|
---|
60![Generating compact MTBDD-representations from Probmela specifications Frank Ciesinski1 , Christel Baier1 , Marcus Gr¨oßer1 , David Parker2 1 Generating compact MTBDD-representations from Probmela specifications Frank Ciesinski1 , Christel Baier1 , Marcus Gr¨oßer1 , David Parker2 1](https://www.pdfsearch.io/img/8813a6e4f33f1e4b1d852aad8b5102d9.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2008-05-28 08:04:09
|
---|