@article{, author = {Reißig, Gunther; Rungger, Matthias}, title = {Symbolic Optimal Control}, editor = {}, booktitle = {}, series = {}, journal = {IEEE Transactions on Automatic Control}, address = {}, publisher = {}, edition = {}, year = {2019}, isbn = {}, volume = {64}, number = {6}, pages = {2224-2239}, url = {https://doi.org/10.1109/TAC.2018.2863178}, doi = {10.1109/TAC.2018.2863178}, 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: Svaricek, Ferdinand}, }