Reachability

Results: 243



#Item
1Reachability in Recursive Markov Decision Processes? Tom´ aˇs Br´ azdil, V´ aclav Broˇzek, Vojtˇech Forejt, and Anton´ın Kuˇcera

Reachability in Recursive Markov Decision Processes? Tom´ aˇs Br´ azdil, V´ aclav Broˇzek, Vojtˇech Forejt, and Anton´ın Kuˇcera

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2013-12-01 06:17:29
2Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers

Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2018-05-14 04:41:41
3Towards Personalized Cancer Therapy Using Delta-Reachability Analysis∗ Bing Liu Soonho Kong

Towards Personalized Cancer Therapy Using Delta-Reachability Analysis∗ Bing Liu Soonho Kong

Add to Reading List

Source URL: scungao.github.io

Language: English - Date: 2018-09-27 16:37:21
4Symbolic Optimal Expected Time Reachability Computation and Controller Synthesis for Probabilistic Timed Automata Aleksandra Jovanovi´ca , Marta Kwiatkowskaa , Gethin Normanb , Quentin Peyrasc a Department

Symbolic Optimal Expected Time Reachability Computation and Controller Synthesis for Probabilistic Timed Automata Aleksandra Jovanovi´ca , Marta Kwiatkowskaa , Gethin Normanb , Quentin Peyrasc a Department

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2017-02-20 06:08:48
5LIPIcs  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

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2013-12-01 10:22:58
6Reachability in Stochastic Timed Games Patricia Bouyer? and Vojtˇech Forejt?? 1 2

Reachability in Stochastic Timed Games Patricia Bouyer? and Vojtˇech Forejt?? 1 2

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2013-12-01 09:55:59
7Subsumer-First: Steering Symbolic Reachability Analysis Andrey Rybalchenko1 and Rishabh Singh2 1  Max Planck Institute for Software Systems (MPI-SWS)

Subsumer-First: Steering Symbolic Reachability Analysis Andrey Rybalchenko1 and Rishabh Singh2 1 Max Planck Institute for Software Systems (MPI-SWS)

Add to Reading List

Source URL: rishabhmit.bitbucket.io

Language: English - Date: 2018-06-25 09:59:57
8Expected 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

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2010-06-15 16:26:37
9Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision Alessandro Abate Luca Bortolussi

Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision Alessandro Abate Luca Bortolussi

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2017-01-31 07:04:26
    10Reachability games and related matrix and word problems Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by

    Reachability games and related matrix and word problems Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by

    Add to Reading List

    Source URL: cgi.csc.liv.ac.uk

    Language: English - Date: 2018-05-21 09:45:07