Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba. Stubborn Set Reduction for Timed Reachability and Safety Games. In Catalin Dima, Mahsa Shirmohammadi, editors, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings. Volume 12860 of Lecture Notes in Computer Science, pages 32-49, Springer, 2021. [doi]
Abstract is missing.