FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: