Strategy Synthesis for Global Window PCTL.

Benjamin Bordais, Damien Busatto-Gaston, Shibashis Guha, Jean-Franois Raskin

Browse the full ICALP paper archive.