@article{,
    author = {Sinyakov; Vladimir; Girard, Antoine},
    title = {Formal controller synthesis from specifications given by discrete-time hybrid automata},
    editor = {},
    booktitle = {},
    series = {},
    journal = {Automatica},
    address = {},
    publisher = {},
    edition = {},
    year = {2021},
    isbn = {},
    volume = {131},
    number =  {},
    pages = {109768},
    url = {https://doi.org/10.1016/j.automatica.2021.109768},
    doi = {10.1016/j.automatica.2021.109768},
    keywords = {},
    abstract = {},
    note = {},
    institution = {Universität der Bundeswehr München, Fakultät für Luft- und Raumfahrttechnik, LRT 15 - Institut für Steuer- und Regelungstechnik, Professur: Gerdts, Matthias},
    
    
}