Stochastic

Results: 6946



#Item
11MeCBICTranslating Stochastic CLS into Maude Thomas Anung Basukia,b,1 Antonio Ceronea,2 Paolo Milazzob,3 a

MeCBICTranslating Stochastic CLS into Maude Thomas Anung Basukia,b,1 Antonio Ceronea,2 Paolo Milazzob,3 a

Add to Reading List

Source URL: pages.di.unipi.it

Language: English - Date: 2015-12-18 06:55:15
12Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi

Add to Reading List

Source URL: www.prismmodelchecker.org

- Date: 2017-10-05 19:55:13
    13Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK

    Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK

    Add to Reading List

    Source URL: www.prismmodelchecker.org

    Language: English - Date: 2012-10-17 07:22:55
    14Synthesizing Pareto Optimal Decision for Autonomic Clouds using Stochastic Games Model Checking Azlan Ismail Marta Kwiatkowska

    Synthesizing Pareto Optimal Decision for Autonomic Clouds using Stochastic Games Model Checking Azlan Ismail Marta Kwiatkowska

    Add to Reading List

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

    Language: English - Date: 2017-10-04 06:58:47
      15Robot Learning with a Spatial, Temporal, and Causal And-Or Graph Caiming Xiong∗ , Nishant Shukla∗ , Wenlong Xiong, and Song-Chun Zhu Abstract— We propose a stochastic graph-based framework for a robot to understand

      Robot Learning with a Spatial, Temporal, and Causal And-Or Graph Caiming Xiong∗ , Nishant Shukla∗ , Wenlong Xiong, and Song-Chun Zhu Abstract— We propose a stochastic graph-based framework for a robot to understand

      Add to Reading List

      Source URL: shukla.io

      Language: English - Date: 2017-05-18 12:57:06
      16Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions Aleksandra Jovanovi´c, Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract

      Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions Aleksandra Jovanovi´c, Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract

      Add to Reading List

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

      Language: English - Date: 2017-05-12 04:35:43
      17An Intermediate Language for the Stochastic Simulation of Biological Systems Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo–Schettini, Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa

      An Intermediate Language for the Stochastic Simulation of Biological Systems Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo–Schettini, Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa

      Add to Reading List

      Source URL: pages.di.unipi.it

      Language: English - Date: 2015-12-18 06:55:15
      18Dynamical, Symplectic and Stochastic Perspectives on Gradient-Based Optimization Michael I. Jordan University of California, Berkeley March 3, 2018

      Dynamical, Symplectic and Stochastic Perspectives on Gradient-Based Optimization Michael I. Jordan University of California, Berkeley March 3, 2018

      Add to Reading List

      Source URL: eta.impa.br

      Language: English - Date: 2018-07-28 17:09:47
      19Stochastic Analysis of Chemical Reaction Networks Using Linear Noise ApproximationI Luca Cardellia,b,∗, Marta Kwiatkowskaa,∗, Luca Laurentia,∗ a Department of Computer Science, University of Oxford

      Stochastic Analysis of Chemical Reaction Networks Using Linear Noise ApproximationI Luca Cardellia,b,∗, Marta Kwiatkowskaa,∗, Luca Laurentia,∗ a Department of Computer Science, University of Oxford

      Add to Reading List

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

      Language: English - Date: 2016-11-02 05:37:42
      20Automatic 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

      Add to Reading List

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

      Language: English - Date: 2012-01-06 05:40:55