Strategy synthesis for Global Window PCTL
Authors: Benjamin Bordais, Damien Busatto-Gaston, Shibashis Guha and Jean-Francois Raskin
Paper Information
Title: | Strategy synthesis for Global Window PCTL |
Authors: | Benjamin Bordais, Damien Busatto-Gaston, Shibashis Guha and Jean-Francois Raskin |
Proceedings: | VardiFest22 Talk Abstracts |
Editors: | Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang |
Keywords: | Markov decision processes, synthesis, PCTL |
Pages: | 2 |
Talk: | Jul 31 15:20 (Session 17) |
Paper: |