Feedback Refinement Relations for the Synthesis of Symbolic Controllers. Reissig, G., Weber, A., & Rungger, M. IEEE Trans. Autom. Control., 62(4):1781-1796, 2017.
Feedback Refinement Relations for the Synthesis of Symbolic Controllers. [link]Link  Feedback Refinement Relations for the Synthesis of Symbolic Controllers. [link]Paper  bibtex   
@article{journals/tac/ReissigWR17,
  added-at = {2020-09-05T00:00:00.000+0200},
  author = {Reissig, Gunther and Weber, Alexander and Rungger, Matthias},
  biburl = {https://www.bibsonomy.org/bibtex/2fa955664a256eedd1a78f1aa037b4f0c/dblp},
  ee = {https://doi.org/10.1109/TAC.2016.2593947},
  interhash = {82b7c3f4e31edfac3cab0487b3640ed1},
  intrahash = {fa955664a256eedd1a78f1aa037b4f0c},
  journal = {IEEE Trans. Autom. Control.},
  keywords = {dblp},
  number = 4,
  pages = {1781-1796},
  timestamp = {2020-09-09T12:21:41.000+0200},
  title = {Feedback Refinement Relations for the Synthesis of Symbolic Controllers.},
  url = {http://dblp.uni-trier.de/db/journals/tac/tac62.html#ReissigWR17},
  volume = 62,
  year = 2017
}

Downloads: 0