@article{Monmege_2025,
    title = {Decidability of One-Clock Weighted Timed Games with Arbitrary Weights},
    volume = {Volume 21, Issue 1},
    issn = {1860-5974},
    url = {http://dx.doi.org/10.46298/lmcs-21(1:8)2025},
    doi = {10.46298/lmcs-21(1:8)2025},
    journal = {Logical Methods in Computer Science},
    publisher = {Centre pour la Communication Scientifique Directe (CCSD)},
    author = {Monmege, Benjamin and Parreaux, Julie and Reynier, Pierre-Alain},
    year = {2025},
    month = {jan},
    date-added = {2025-3-9 23:12:1 +0100}
}

@article{Monmege_2025, title = {Decidability of One-Clock Weighted Timed Games with Arbitrary Weights}, volume = {Volume 21, Issue 1}, issn = {1860-5974}, url = {http://dx.doi.org/10.46298/lmcs-21(1:8)2025}, doi = {10.46298/lmcs-21(1:8)2025}, journal = {Logical Methods in Computer Science}, publisher = {Centre pour la Communication Scientifique Directe (CCSD)}, author = {Monmege, Benjamin and Parreaux, Julie and Reynier, Pierre-Alain}, year = {2025}, month = {jan}, date-added = {2025-3-9 23:12:1 +0100} }