@inproceedings{ad4e95e22c5041f2aa0d0d385abb7d79,
title = "Stubborn Set Reduction for Timed Reachability and Safety Games",
author = "B{\o}nneland, {Frederik M.} and Jensen, {Peter G.} and Larsen, {Kim G.} and Marco Mu{\~n}iz and Ji{\v r}{\'i} Srba",
note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; 19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021 ; Conference date: 24-08-2021 Through 26-08-2021",
year = "2021",
doi = "10.1007/978-3-030-85037-1_3",
language = "English",
isbn = "9783030850364",
volume = "12860",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "32--49",
editor = "Catalin Dima and Mahsa Shirmohammadi",
booktitle = "Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Proceedings",
address = "Germany",
}