Strategy Synthesis for Global Window PCTL.

Benjamin Bordais Damien Busatto-Gaston Shibashis Guha Jean-François Raskin

Published in: ICALP (2022)

Keyphrases

sliding window
artificial intelligence
global information
real time
databases
search engine
image processing
case study
optimal solution
evolutionary algorithm
selection strategy
window size