@inproceedings{6f5e1396fee549e9aa1c15cc1f949e9c,
title = "Practical controller synthesis for MTL0,∞",
keywords = "Controller synthesis, Metric Temporal Logic, Timed B{\"u}chi automata",
author = "Guangyuan Li and Jensen, {Peter Gj{\o}l} and Larsen, {Kim Guldstrand} and Axel Legay and Poulsen, {Danny B{\o}gsted}",
year = "2017",
month = jul,
day = "13",
doi = "10.1145/3092282.3092303",
language = "English",
pages = "102--111",
booktitle = "SPIN 2017 - Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software",
publisher = "Association for Computing Machinery",
address = "United States",
note = "24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, SPIN 2017 ; Conference date: 13-07-2017 Through 14-07-2017",
}