@article{7519063,
    Author = {Reissig, Gunther and Weber, Alexander and Rungger, Matthias},
    File = {Feedback Refinement Relations for the Synthesis of Symbolic Controllers - 1503.03715 - g.pdf},
    Journal = {IEEE Transactions on Automatic Control},
    Number = {4},
    Pages = {1781-1796},
    Title = {Feedback Refinement Relations for the Synthesis of Symbolic Controllers},
    Volume = {62},
    Year = {2017},
    bdsk-url-1 = {https://doi.org/10.1109/TAC.2016.2593947},
    date-added = {2021-05-17 18:43:16 +0200},
    date-modified = {2021-05-17 18:43:16 +0200},
    doi = {10.1109/TAC.2016.2593947}
}

@article{7519063, Author = {Reissig, Gunther and Weber, Alexander and Rungger, Matthias}, File = {Feedback Refinement Relations for the Synthesis of Symbolic Controllers - 1503.03715 - g.pdf}, Journal = {IEEE Transactions on Automatic Control}, Number = {4}, Pages = {1781-1796}, Title = {Feedback Refinement Relations for the Synthesis of Symbolic Controllers}, Volume = {62}, Year = {2017}, bdsk-url-1 = {https://doi.org/10.1109/TAC.2016.2593947}, date-added = {2021-05-17 18:43:16 +0200}, date-modified = {2021-05-17 18:43:16 +0200}, doi = {10.1109/TAC.2016.2593947} }