@article{Reissig_2019,
    doi = {10.1109/tac.2018.2863178},
    url = {https://doi.org/10.1109%2Ftac.2018.2863178},
    year = {2019},
    month = {jun},
    publisher = {Institute of Electrical and Electronics Engineers ({IEEE})},
    volume = {64},
    number = {6},
    pages = {2224--2239},
    author = {Gunther Reissig and Matthias Rungger},
    title = {Symbolic Optimal Control},
    journal = {{IEEE} Transactions on Automatic Control}
}

@article{Reissig_2019, doi = {10.1109/tac.2018.2863178}, url = {https://doi.org/10.1109%2Ftac.2018.2863178}, year = {2019}, month = {jun}, publisher = {Institute of Electrical and Electronics Engineers ({IEEE})}, volume = {64}, number = {6}, pages = {2224--2239}, author = {Gunther Reissig and Matthias Rungger}, title = {Symbolic Optimal Control}, journal = {{IEEE} Transactions on Automatic Control} }