@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
}

{"_id":"hDdTYPRg7g3vkXwHQ","bibbaseid":"reissig-weber-rungger-feedbackrefinementrelationsforthesynthesisofsymboliccontrollers-2017","authorIDs":[],"author_short":["Reissig, G.","Weber, A.","Rungger, M."],"bibdata":{"bibtype":"article","type":"article","added-at":"2020-09-05T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Reissig"],"firstnames":["Gunther"],"suffixes":[]},{"propositions":[],"lastnames":["Weber"],"firstnames":["Alexander"],"suffixes":[]},{"propositions":[],"lastnames":["Rungger"],"firstnames":["Matthias"],"suffixes":[]}],"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","bibtex":"@article{journals/tac/ReissigWR17,\n added-at = {2020-09-05T00:00:00.000+0200},\n author = {Reissig, Gunther and Weber, Alexander and Rungger, Matthias},\n biburl = {https://www.bibsonomy.org/bibtex/2fa955664a256eedd1a78f1aa037b4f0c/dblp},\n ee = {https://doi.org/10.1109/TAC.2016.2593947},\n interhash = {82b7c3f4e31edfac3cab0487b3640ed1},\n intrahash = {fa955664a256eedd1a78f1aa037b4f0c},\n journal = {IEEE Trans. Autom. Control.},\n keywords = {dblp},\n number = 4,\n pages = {1781-1796},\n timestamp = {2020-09-09T12:21:41.000+0200},\n title = {Feedback Refinement Relations for the Synthesis of Symbolic Controllers.},\n url = {http://dblp.uni-trier.de/db/journals/tac/tac62.html#ReissigWR17},\n volume = 62,\n year = 2017\n}\n\n","author_short":["Reissig, G.","Weber, A.","Rungger, M."],"key":"journals/tac/ReissigWR17","id":"journals/tac/ReissigWR17","bibbaseid":"reissig-weber-rungger-feedbackrefinementrelationsforthesynthesisofsymboliccontrollers-2017","role":"author","urls":{"Link":"https://doi.org/10.1109/TAC.2016.2593947","Paper":"http://dblp.uni-trier.de/db/journals/tac/tac62.html#ReissigWR17"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Gunther?items=1000","creationDate":"2020-11-19T14:18:48.281Z","downloads":0,"keywords":["dblp"],"search_terms":["feedback","refinement","relations","synthesis","symbolic","controllers","reissig","weber","rungger"],"title":"Feedback Refinement Relations for the Synthesis of Symbolic Controllers.","year":2017,"dataSources":["vx3tQbZepny2tNB7k"]}