@article{journals/tecs/BenerecettiF17,
  added-at = {2020-09-08T00:00:00.000+0200},
  author = {Benerecetti, Massimo and Faella, Marco},
  biburl = {https://www.bibsonomy.org/bibtex/23e9f66d0cb25e9a23889413e0214be09/dblp},
  ee = {https://doi.org/10.1145/3047500},
  interhash = {6ab2807eaf2f99de8b78130372946580},
  intrahash = {3e9f66d0cb25e9a23889413e0214be09},
  journal = {ACM Trans. Embed. Comput. Syst.},
  keywords = {dblp},
  number = 4,
  pages = {104:1-104:27},
  timestamp = {2020-09-09T12:40:28.000+0200},
  title = {Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Reachability Control.},
  url = {http://dblp.uni-trier.de/db/journals/tecs/tecs16.html#BenerecettiF17},
  volume = 16,
  year = 2017
}

{"_id":"tA7tKdSHtPtgWN54Z","bibbaseid":"benerecetti-faella-automaticsynthesisofswitchingcontrollersforlinearhybridsystemsreachabilitycontrol-2017","authorIDs":[],"author_short":["Benerecetti, M.","Faella, M."],"bibdata":{"bibtype":"article","type":"article","added-at":"2020-09-08T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Benerecetti"],"firstnames":["Massimo"],"suffixes":[]},{"propositions":[],"lastnames":["Faella"],"firstnames":["Marco"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/23e9f66d0cb25e9a23889413e0214be09/dblp","ee":"https://doi.org/10.1145/3047500","interhash":"6ab2807eaf2f99de8b78130372946580","intrahash":"3e9f66d0cb25e9a23889413e0214be09","journal":"ACM Trans. Embed. Comput. Syst.","keywords":"dblp","number":"4","pages":"104:1-104:27","timestamp":"2020-09-09T12:40:28.000+0200","title":"Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Reachability Control.","url":"http://dblp.uni-trier.de/db/journals/tecs/tecs16.html#BenerecettiF17","volume":"16","year":"2017","bibtex":"@article{journals/tecs/BenerecettiF17,\n added-at = {2020-09-08T00:00:00.000+0200},\n author = {Benerecetti, Massimo and Faella, Marco},\n biburl = {https://www.bibsonomy.org/bibtex/23e9f66d0cb25e9a23889413e0214be09/dblp},\n ee = {https://doi.org/10.1145/3047500},\n interhash = {6ab2807eaf2f99de8b78130372946580},\n intrahash = {3e9f66d0cb25e9a23889413e0214be09},\n journal = {ACM Trans. Embed. Comput. Syst.},\n keywords = {dblp},\n number = 4,\n pages = {104:1-104:27},\n timestamp = {2020-09-09T12:40:28.000+0200},\n title = {Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Reachability Control.},\n url = {http://dblp.uni-trier.de/db/journals/tecs/tecs16.html#BenerecettiF17},\n volume = 16,\n year = 2017\n}\n\n","author_short":["Benerecetti, M.","Faella, M."],"key":"journals/tecs/BenerecettiF17","id":"journals/tecs/BenerecettiF17","bibbaseid":"benerecetti-faella-automaticsynthesisofswitchingcontrollersforlinearhybridsystemsreachabilitycontrol-2017","role":"author","urls":{"Link":"https://doi.org/10.1145/3047500","Paper":"http://dblp.uni-trier.de/db/journals/tecs/tecs16.html#BenerecettiF17"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/massimo?items=1000","creationDate":"2020-12-04T16:35:07.756Z","downloads":0,"keywords":["dblp"],"search_terms":["automatic","synthesis","switching","controllers","linear","hybrid","systems","reachability","control","benerecetti","faella"],"title":"Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Reachability Control.","year":2017,"dataSources":["3K8QdNFi6YEcLKp3r"]}