Games

Results: 48960



#Item
21Stochastic Games with Branching-Time Winning Objectives Tom´asˇ Br´azdil V´aclav Broˇzek Vojtˇech Forejt

Stochastic Games with Branching-Time Winning Objectives Tom´asˇ Br´azdil V´aclav Broˇzek Vojtˇech Forejt

Add to Reading List

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

Language: English - Date: 2013-12-01 06:00:18
    22Demo Abstract: Using Wireless Sensor Networks to Develop Pervasive Multi-player Games Orestis Akrivopoulos, Marios Logaras, Nikos Vasilakis, Panagiotis Kokkinos, Georgios Mylonas and Ioannis Chatzigiannakis

    Demo Abstract: Using Wireless Sensor Networks to Develop Pervasive Multi-player Games Orestis Akrivopoulos, Marios Logaras, Nikos Vasilakis, Panagiotis Kokkinos, Georgios Mylonas and Ioannis Chatzigiannakis

    Add to Reading List

    Source URL: nikos.vasilak.is

    Language: English - Date: 2012-02-20 07:56:48
    23Decidability Results for Multi-objective Stochastic Games Romain Brenguier and Vojtˇech Forejt Department of Computer Science, University of Oxford, UK Abstract. We study stochastic two-player turn-based games in which

    Decidability Results for Multi-objective Stochastic Games Romain Brenguier and Vojtˇech Forejt Department of Computer Science, University of Oxford, UK Abstract. We study stochastic two-player turn-based games in which

    Add to Reading List

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

    Language: English - Date: 2016-07-05 18:17:09
    24Playing 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: qav.comlab.ox.ac.uk

    Language: English - Date: 2012-07-04 05:45:30
    25Lecture 14, Thurs March 2: Nonlocal Games Last time we talked about the CHSH Game, and how no classical strategy lets Alice and Bob win it more than 75% of the time. Today we’ll see how, by using entanglement, they can

    Lecture 14, Thurs March 2: Nonlocal Games Last time we talked about the CHSH Game, and how no classical strategy lets Alice and Bob win it more than 75% of the time. Today we’ll see how, by using entanglement, they can

    Add to Reading List

    Source URL: www.scottaaronson.com

    Language: English - Date: 2018-10-17 18:15:30
      26Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives Nicolas Basset∗ , Marta Kwiatkowska∗ , Ufuk Topcu† , and Clemens Wiltsche∗ ∗ Department of Computer Science, University of Oxford, Unite

      Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives Nicolas Basset∗ , Marta Kwiatkowska∗ , Ufuk Topcu† , and Clemens Wiltsche∗ ∗ Department of Computer Science, University of Oxford, Unite

      Add to Reading List

      Source URL: www.prismmodelchecker.org

      Language: English - Date: 2015-04-15 12:27:37
      27Quantitative 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,

      Add to Reading List

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

      Language: English - Date: 2016-04-25 05:07:53
      28Expected 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
      29THREE PUZZLES ON MATHEMATICS, COMPUTATION, AND GAMES GIL KALAI HEBREW UNIVERSITY OF JERUSALEM AND YALE UNIVERSITY Abstract. In this lecture I will talk about three mathematical puzzles involving mathematics and computati

      THREE PUZZLES ON MATHEMATICS, COMPUTATION, AND GAMES GIL KALAI HEBREW UNIVERSITY OF JERUSALEM AND YALE UNIVERSITY Abstract. In this lecture I will talk about three mathematical puzzles involving mathematics and computati

      Add to Reading List

      Source URL: eta.impa.br

      Language: English - Date: 2018-07-28 17:09:47
      30Compositional Controller Synthesis for Stochastic Games Nicolas Basset, Marta Kwiatkowska, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. Design of autonomous systems

      Compositional Controller Synthesis for Stochastic Games Nicolas Basset, Marta Kwiatkowska, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. Design of autonomous systems

      Add to Reading List

      Source URL: www.prismmodelchecker.org

      Language: English - Date: 2015-10-18 19:27:58