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: |  |