@inproceedings{,
    author = {Reißig, Gunther; Rungger, Matthias},
    title = {Feedback Refinement Relations for Symbolic Controller Synthesis},
    editor = {},
    booktitle = {IEEE 53rd Annual Conference on Decision and Control (CDC), 2014},
    series = {},
    journal = {},
    address = {},
    publisher = {IEEE},
    edition = {},
    year = {2014},
    isbn = {978-1-4799-7746-8 },
    volume = {},
    number =  {},
    pages = {88-94},
    url = {http://dx.doi.org/10.1109/CDC.2014.7039364},
    doi = {10.1109/CDC.2014.7039364},
    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},
    
    
}