Skip to contents

  1. Puterman, Martin L. [Author]

    Markov decision processes : discrete stochastic dynamic programming

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    New York [u.a.]: Wiley, 1994

    Published in: Wiley series in probability and mathematical statistics ; Applied probability and statistics- A Wiley-Interscience publication

  2. Kiefer, Stefan [Author]; Mayr, Richard [Author]; Shirmohammadi, Mahsa [Author]; Totzke, Patrick [Author]; Wojtczak, Dominik [Author] ; Stefan Kiefer and Richard Mayr and Mahsa Shirmohammadi and Patrick Totzke and Dominik Wojtczak [Contributor]

    How to Play in Infinite MDPs (Invited Talk)

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  3. Kiefer, Stefan [Author]; Mayr, Richard [Author]; Shirmohammadi, Mahsa [Author]; Totzke, Patrick [Author] ; Stefan Kiefer and Richard Mayr and Mahsa Shirmohammadi and Patrick Totzke [Contributor]

    Büchi Objectives in Countable MDPs (Track B: Automata, Logic, Semantics, and Theory of Programming)

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  4. Bordais, Benjamin [Author]; Busatto-Gaston, Damien [Author]; Guha, Shibashis [Author]; Raskin, Jean-François [Author] ; Benjamin Bordais and Damien Busatto-Gaston and Shibashis Guha and Jean-François Raskin [Contributor]

    Strategy Synthesis for Global Window PCTL

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

  5. Kiefer, Stefan [Author]; Mayr, Richard [Author]; Shirmohammadi, Mahsa [Author]; Totzke, Patrick [Author] ; Stefan Kiefer and Richard Mayr and Mahsa Shirmohammadi and Patrick Totzke [Contributor]

    Transience in Countable MDPs

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021