%0 Journal Article %1 journals/tac/HashimotoD20 %A Hashimoto, Kazumune %A Dimarogonas, Dimos V. %D 2020 %J IEEE Trans. Automat. Contr. %K dblp %N 2 %P 561-576 %T Synthesizing Communication Plans for Reachability and Safety Specifications. %U http://dblp.uni-trier.de/db/journals/tac/tac65.html#HashimotoD20 %V 65

@article{journals/tac/HashimotoD20, added-at = {2020-02-06T00:00:00.000+0100}, author = {Hashimoto, Kazumune and Dimarogonas, Dimos V.}, biburl = {https://www.bibsonomy.org/bibtex/2fc8e7774288cba8074ae3ce39354cb3e/dblp}, ee = {https://doi.org/10.1109/TAC.2019.2910947}, interhash = {39a3e88c5ea8cace648a676557640572}, intrahash = {fc8e7774288cba8074ae3ce39354cb3e}, journal = {IEEE Trans. Automat. Contr.}, keywords = {dblp}, number = 2, pages = {561-576}, timestamp = {2020-02-07T11:43:49.000+0100}, title = {Synthesizing Communication Plans for Reachability and Safety Specifications.}, url = {http://dblp.uni-trier.de/db/journals/tac/tac65.html#HashimotoD20}, volume = 65, year = 2020 }