Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen. A game approach to determinize timed automata. Formal Methods in System Design, 46(1):42-80, 2015. [doi]
@article{BertrandSJK15,
title = {A game approach to determinize timed automata},
author = {Nathalie Bertrand and Amélie Stainer and Thierry Jéron and Moez Krichen},
year = {2015},
doi = {10.1007/s10703-014-0220-1},
url = {http://dx.doi.org/10.1007/s10703-014-0220-1},
researchr = {https://researchr.org/publication/BertrandSJK15},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {46},
number = {1},
pages = {42-80},
}