@inproceedings{DBLP:conf/aaai/FinucaneJK11,
  author       = {Cameron Finucane and
                  Gangyuan Jing and
                  Hadas Kress{-}Gazit},
  title        = {Designing Reactive Robot Controllers with LTLMoP},
  booktitle    = {Automated Action Planning for Autonomous Mobile Robots, Papers from
                  the 2011 {AAAI} Workshop, San Francisco, California, USA, August 7,
                  2011},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-11-09}},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/WS/AAAIW11/paper/view/3982},
  timestamp    = {Tue, 05 Sep 2023 08:59:27 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/FinucaneJK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"SqeoZK5Rut2EeuExe","bibbaseid":"finucane-jing-kressgazit-designingreactiverobotcontrollerswithltlmop-2011","author_short":["Finucane, C.","Jing, G.","Kress-Gazit, H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Cameron"],"propositions":[],"lastnames":["Finucane"],"suffixes":[]},{"firstnames":["Gangyuan"],"propositions":[],"lastnames":["Jing"],"suffixes":[]},{"firstnames":["Hadas"],"propositions":[],"lastnames":["Kress-Gazit"],"suffixes":[]}],"title":"Designing Reactive Robot Controllers with LTLMoP","booktitle":"Automated Action Planning for Autonomous Mobile Robots, Papers from the 2011 AAAI Workshop, San Francisco, California, USA, August 7, 2011","series":"AAAI Technical Report","volume":"WS-11-09","publisher":"AAAI","year":"2011","url":"http://www.aaai.org/ocs/index.php/WS/AAAIW11/paper/view/3982","timestamp":"Tue, 05 Sep 2023 08:59:27 +0200","biburl":"https://dblp.org/rec/conf/aaai/FinucaneJK11.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aaai/FinucaneJK11,\n author = {Cameron Finucane and\n Gangyuan Jing and\n Hadas Kress{-}Gazit},\n title = {Designing Reactive Robot Controllers with LTLMoP},\n booktitle = {Automated Action Planning for Autonomous Mobile Robots, Papers from\n the 2011 {AAAI} Workshop, San Francisco, California, USA, August 7,\n 2011},\n series = {{AAAI} Technical Report},\n volume = {{WS-11-09}},\n publisher = {{AAAI}},\n year = {2011},\n url = {http://www.aaai.org/ocs/index.php/WS/AAAIW11/paper/view/3982},\n timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},\n biburl = {https://dblp.org/rec/conf/aaai/FinucaneJK11.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Finucane, C.","Jing, G.","Kress-Gazit, H."],"key":"DBLP:conf/aaai/FinucaneJK11","id":"DBLP:conf/aaai/FinucaneJK11","bibbaseid":"finucane-jing-kressgazit-designingreactiverobotcontrollerswithltlmop-2011","role":"author","urls":{"Paper":"http://www.aaai.org/ocs/index.php/WS/AAAIW11/paper/view/3982"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/36/4385.bib","dataSources":["DtMtyfcGfRzFeLRYZ"],"keywords":[],"search_terms":["designing","reactive","robot","controllers","ltlmop","finucane","jing","kress-gazit"],"title":"Designing Reactive Robot Controllers with LTLMoP","year":2011}