@article{,
    author = {Reißig, Gunther Reibig; Weber, Alexander; Rungger, Matthias},
    title = {Feedback Refinement Relations for the Synthesis of Symbolic Controllers},
    editor = {},
    booktitle = {},
    series = {},
    journal = {IEEE Transactions on Automatic Control},
    address = {},
    publisher = {},
    edition = {},
    year = {2017},
    isbn = {},
    volume = {62},
    number =  {4},
    pages = {1781-1796},
    url = {http://dx.doi.org/10.1109/TAC.2016.2593947},
    doi = {10.1109/TAC.2016.2593947},
    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},
    
    
}