Stubborn Set Reduction for Timed Reachability and Safety Games

von Bønneland, Frederik M.
Veröffentlicht in FORMATS (19. : 2021 : Online) Formal Modeling and Analysis of Timed Systems (2021)