@article{Busatto_Gaston_2023,
    title = {Optimal controller synthesis for timed systems},
    volume = {Volume 19, Issue 1},
    issn = {1860-5974},
    url = {http://dx.doi.org/10.46298/lmcs-19(1:20)2023},
    doi = {10.46298/lmcs-19(1:20)2023},
    journal = {Logical Methods in Computer Science},
    publisher = {Centre pour la Communication Scientifique Directe (CCSD)},
    author = {Busatto-Gaston, Damien and Monmege, Benjamin and Reynier, Pierre-Alain},
    year = {2023},
    month = {mar},
    date-added = {2023-11-23 8:46:33 +0100}
}

@article{Busatto_Gaston_2023, title = {Optimal controller synthesis for timed systems}, volume = {Volume 19, Issue 1}, issn = {1860-5974}, url = {http://dx.doi.org/10.46298/lmcs-19(1:20)2023}, doi = {10.46298/lmcs-19(1:20)2023}, journal = {Logical Methods in Computer Science}, publisher = {Centre pour la Communication Scientifique Directe (CCSD)}, author = {Busatto-Gaston, Damien and Monmege, Benjamin and Reynier, Pierre-Alain}, year = {2023}, month = {mar}, date-added = {2023-11-23 8:46:33 +0100} }