Sign in

Stubborn Set Reduction for Timed Reachability and Safety Games.

Frederik M. BønnelandPeter Gjøl JensenKim G. LarsenMarco MuñizJirí Srba
Published in: FORMATS (2021)
Keyphrases
  • small number
  • real time
  • image sequences
  • probability distribution
  • input data
  • hierarchical structure