%0 Journal Article %1 journals/corr/DeCastroERBTK14 %A DeCastro, Jonathan A. %A Ehlers, Rüdiger %A Rungger, Matthias %A Balkan, Ayca %A Tabuada, Paulo %A Kress-Gazit, Hadas %D 2014 %J CoRR %K %T Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control. %U http://dblp.uni-trier.de/db/journals/corr/corr1410.html#DeCastroERBTK14 %V abs/1410.6375

@article{journals/corr/DeCastroERBTK14, added-at = {2023-12-13T06:11:19.000+0100}, author = {DeCastro, Jonathan A. and Ehlers, Rüdiger and Rungger, Matthias and Balkan, Ayca and Tabuada, Paulo and Kress-Gazit, Hadas}, biburl = {https://www.bibsonomy.org/bibtex/2daf975497bd568c5a72f635c1984e906/admin}, ee = {http://arxiv.org/abs/1410.6375}, interhash = {ab42db502646262260566934ea1a66c8}, intrahash = {daf975497bd568c5a72f635c1984e906}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T06:11:19.000+0100}, title = {Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1410.html#DeCastroERBTK14}, volume = {abs/1410.6375}, year = 2014 }