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]
@inproceedings{BonnelandJLMS21-0,
title = {Stubborn Set Reduction for Timed Reachability and Safety Games},
author = {Frederik M. Bønneland and Peter Gjøl Jensen and Kim G. Larsen and Marco Muñiz and Jirí Srba},
year = {2021},
doi = {10.1007/978-3-030-85037-1_3},
url = {https://doi.org/10.1007/978-3-030-85037-1_3},
researchr = {https://researchr.org/publication/BonnelandJLMS21-0},
cites = {0},
citedby = {0},
pages = {32-49},
booktitle = {Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings},
editor = {Catalin Dima and Mahsa Shirmohammadi},
volume = {12860},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-85037-1},
}