Stubborn Set Reduction for Timed Reachability and Safety Games.

Frederik M. Bønneland Peter Gjøl Jensen Kim G. Larsen Marco Muñiz Jirí Srba

Published in: FORMATS (2021)

Keyphrases

small number
real time
image sequences
probability distribution
input data
hierarchical structure