{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T16:08:09Z","timestamp":1772813289853,"version":"3.50.1"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,11,19]],"date-time":"2014-11-19T00:00:00Z","timestamp":1416355200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Auton Robot"],"published-print":{"date-parts":[[2015,1]]},"DOI":"10.1007\/s10514-014-9418-8","type":"journal-article","created":{"date-parts":[[2014,11,21]],"date-time":"2014-11-21T15:57:46Z","timestamp":1416585466000},"page":"89-105","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":39,"title":["Provably correct reactive control from natural language"],"prefix":"10.1007","volume":"38","author":[{"given":"Constantine","family":"Lignos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vasumathi","family":"Raman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cameron","family":"Finucane","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mitchell","family":"Marcus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hadas","family":"Kress-Gazit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,11,19]]},"reference":[{"key":"9418_CR1","unstructured":"Berant, J., & Liang, P. (2014). Semantic parsing via paraphrasing. In Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) (pp. 1415\u20131425)."},{"key":"9418_CR2","doi-asserted-by":"crossref","unstructured":"Bhatia, A., Kavraki, L. E., & Vardi, M.Y. (2010). Sampling-based motion planning with temporal goals. In IEEE International Conference on Robotics and Automation (ICRA), IEEE (pp. 2689\u20132696).","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"9418_CR3","doi-asserted-by":"crossref","first-page":"75","DOI":"10.3233\/SAT190039","volume":"4","author":"A Biere","year":"2008","unstructured":"Biere, A. (2008). PicoSAT essentials. Journal on Satisfiability Boolean Modeling and Computation (JSAT), 4, 75\u201397.","journal-title":"Journal on Satisfiability Boolean Modeling and Computation (JSAT)"},{"issue":"4","key":"9418_CR4","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1162\/0891201042544929","volume":"30","author":"DM Bikel","year":"2004","unstructured":"Bikel, D. M. (2004). Intricacies of Collins\u2019 parsing model. Computational Linguistics, 30(4), 479\u2013511.","journal-title":"Computational Linguistics"},{"key":"9418_CR5","unstructured":"Bobadilla, L., Sanchez, O., Czarnowski, J., Gossman, K., & LaValle, S. (2011). Controlling wild bodies using linear temporal logic. In Robotics: Science and Systems (RSS)."},{"key":"9418_CR6","unstructured":"Brooks, D., Lignos, C., Finucane, C., Medvedev, M., Perera, I., Raman, V., Kress-Gazit, H., Marcus, M., & Yanco, H. (2012). Make it so: Continuous, flexible natural language interaction with an autonomous robot. In Proceedings of the Grounding Language for Physical Systems Workshop at the 76th AAAI Conference on Artificial Intelligence."},{"key":"9418_CR7","doi-asserted-by":"crossref","unstructured":"Chen, D. L., & Mooney, R.J. (2011). Learning to interpret natural language navigation instructions from observations. In Proceedings of the 25th AAAI Conference on Artifical Intelligence (pp. 859\u2013865).","DOI":"10.1609\/aaai.v25i1.7974"},{"key":"9418_CR8","doi-asserted-by":"crossref","unstructured":"Cizelj, I., & Belta, C. (2013). Negotiating the probabilistic satisfaction of temporal logic motion specifications. In IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS) (pp. 4320\u20134325).","DOI":"10.1109\/IROS.2013.6696976"},{"key":"9418_CR9","volume-title":"Model checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E. M., Grumberg, O., & Peled, D. A. (1999). Model checking. Cambridge, MA: MIT Press."},{"key":"9418_CR10","doi-asserted-by":"crossref","unstructured":"Dzifcak, J., Scheutz, M., Baral, C., & Schermerhorn, P. (2009). What to do and how to do it: Translating natural language directives into temporal and dynamic logic representation for goal management and action execution. In IEEE International Conference on Robotics and Automation (ICRA) (pp. 4163\u20134168).","DOI":"10.1109\/ROBOT.2009.5152776"},{"key":"9418_CR11","doi-asserted-by":"crossref","unstructured":"Fainekos, G. E. (2011). Revising temporal logic specifications for motion planning. In IEEE International Conference on Robotics and Automation (ICRA) (pp. 40\u201345).","DOI":"10.1109\/ICRA.2011.5979895"},{"key":"9418_CR12","doi-asserted-by":"crossref","unstructured":"Finucane, C., Jing, G., & Kress-Gazit, H. (2010). LTLMoP: Experimenting with language, temporal logic and robot control. In IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS) (pp. 1988\u20131993).","DOI":"10.1109\/IROS.2010.5650371"},{"key":"9418_CR13","doi-asserted-by":"crossref","unstructured":"Gabbard, R., Marcus, M., & Kulick, S. (2006). Fully parsing the Penn Treebank. In Human Language Technology Conference of the North American Chapter of the Association of Computational Linguistics (NAACL HLT) (pp. 184\u2013191).","DOI":"10.3115\/1220835.1220859"},{"key":"9418_CR14","unstructured":"Karaman, Frazzoli. (2009). Sampling-based motion planning with deterministic $$\\mu $$ \u03bc -calculus specifications. In IEEE Conference on Decision and Control (CDC) (pp. 2222\u20132229)."},{"key":"9418_CR15","doi-asserted-by":"crossref","unstructured":"Kim, K., Fainekos, G. E., & Sankaranarayanan, S. (2012). On the revision problem of specification automata. In IEEE International Conference on Robotics and Automation (ICRA) (pp. 5171\u20135176).","DOI":"10.1109\/ICRA.2012.6224826"},{"issue":"1","key":"9418_CR16","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1109\/TAC.2007.914952","volume":"53","author":"M Kloetzer","year":"2008","unstructured":"Kloetzer, M., & Belta, C. (2008). A fully automated framework for control of linear systems from temporal logic specifications. IEEE Transactions on Automatic Control, 53(1), 287\u2013297.","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"12","key":"9418_CR17","doi-asserted-by":"crossref","first-page":"1343","DOI":"10.1163\/156855308X344864","volume":"22","author":"H Kress-Gazit","year":"2008","unstructured":"Kress-Gazit, H., Fainekos, G. E., & Pappas, G. J. (2008). Translating structured english to robot controllers. Advanced Robotics, 22(12), 1343\u20131359.","journal-title":"Advanced Robotics"},{"issue":"6","key":"9418_CR18","doi-asserted-by":"crossref","first-page":"1370","DOI":"10.1109\/TRO.2009.2030225","volume":"25","author":"H Kress-Gazit","year":"2009","unstructured":"Kress-Gazit, H., Fainekos, G. E., & Pappas, G. J. (2009). Temporal-logic-based reactive mission and motion planning. IEEE Transactions on Robotics, 25(6), 1370\u20131381.","journal-title":"IEEE Transactions on Robotics"},{"key":"9418_CR19","doi-asserted-by":"crossref","unstructured":"Matuszek, C., Fox, D., & Koscher, K. (2010). Following directions using statistical machine translation. In Human-Robot Interaction (HRI) (pp. 251\u2013258).","DOI":"10.1109\/HRI.2010.5453189"},{"key":"9418_CR20","unstructured":"Matuszek, C., FitzGerald, N., Zettlemoyer, L., Bo, L., & Fox, D. (2012). A joint model of language and perception for grounded attribute learning. In Proceedings of the 29th International Conference on Machine Learning (ICML) (pp. 1671\u20131678)."},{"key":"9418_CR21","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/978-3-319-00065-7_28","volume":"88","author":"C Matuszek","year":"2013","unstructured":"Matuszek, C., Herbst, E., Zettlemoyer, L., & Fox, D. (2013). Learning to parse natural language commands to a robot control system. Experimental Robotics, 88, 403\u2013415.","journal-title":"Experimental Robotics"},{"key":"9418_CR22","unstructured":"Piterman, N., Pnueli, A., & Sa\u2019ar, Y. (2006). Synthesis of reactive(1) designs. In Verification, Model Checking, and Abstract Interpretation (VMCAI) (pp. 364\u2013380)."},{"key":"9418_CR23","doi-asserted-by":"crossref","unstructured":"Poon, H., & Domingos, P. (2009). Unsupervised semantic parsing. In Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing (EMNLP) (pp. 1\u201310).","DOI":"10.3115\/1699510.1699512"},{"key":"9418_CR24","doi-asserted-by":"crossref","unstructured":"Raman, V., & Kress-Gazit, H. (2011). Analyzing unsynthesizable specifications for high-level robot behavior using LTLMoP. In Computer Aided Verification (CAV) (pp. 663\u2013668).","DOI":"10.1007\/978-3-642-22110-1_54"},{"key":"9418_CR25","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1109\/TRO.2012.2214558","volume":"29","author":"V Raman","year":"2013","unstructured":"Raman, V., & Kress-Gazit, H. (2013a). Explaining impossible high-level robot behaviors. IEEE Transactions on Robotics, 29, 94\u2013104.","journal-title":"IEEE Transactions on Robotics"},{"key":"9418_CR26","doi-asserted-by":"crossref","unstructured":"Raman, V., & Kress-Gazit, H. (2013b). Towards minimal explanations of unsynthesizability for high-level robot behaviors. In IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS) (pp. 757\u2013762).","DOI":"10.1109\/IROS.2013.6696436"},{"key":"9418_CR27","unstructured":"Raman, V., & Kress-Gazit, H. (2014). Unsynthesizable cores: Minimal explanations for unsynthesizable high-level robot behaviors. arXiv:1409.1455 ."},{"key":"9418_CR28","unstructured":"Raman, V., Lignos, C., Finucane, C., Lee, KCT., Marcus, M., & Kress-Gazit, H. (2013). Sorry Dave, I\u2019m afraid I can\u2019t do that: Explaining unachievable robot tasks using natural language. In Robotics: Science and Systems (RSS)."},{"key":"9418_CR29","unstructured":"Schuler, K. (2005). Verbnet: A broad-coverage, comprehensive verb lexicon. PhD thesis, University of Pennsylvania."},{"key":"9418_CR30","doi-asserted-by":"crossref","unstructured":"Tellex, S., Kollar, T., Dickerson, S., Walter, M. R., Banerjee, A. G., Teller, S. J., & Roy, N. (2011). Understanding natural language commands for robotic navigation and mobile manipulation. In Proceedings of the 25th AAAI Conference on Artifical Intelligence (pp. 1507\u20131514).","DOI":"10.1609\/aaai.v25i1.7979"},{"key":"9418_CR31","doi-asserted-by":"crossref","unstructured":"Toutanova, K., Klein, D., Manning, C. D., & Singer, Y. (2003). Feature-rich part-of-speech tagging with a cyclic dependency network. In Proceedings of the 2003 Conference of the North American Chapter of the Association for Computational Linguistics on Human Language Technology (NAACL HLT) - Volume 1 (pp. 173\u2013180).","DOI":"10.3115\/1073445.1073478"},{"key":"9418_CR32","unstructured":"Wongpiromsarn, T., Topcu, U., & Murray, R. M. (2010). Receding horizon control for temporal logic specifications. In Hybrid Systems: Computation and Control (HSCC) (pp. 101\u2013110)."}],"container-title":["Autonomous Robots"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10514-014-9418-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10514-014-9418-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10514-014-9418-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,18]],"date-time":"2023-07-18T11:54:34Z","timestamp":1689681274000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10514-014-9418-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,19]]},"references-count":32,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,1]]}},"alternative-id":["9418"],"URL":"https:\/\/doi.org\/10.1007\/s10514-014-9418-8","relation":{},"ISSN":["0929-5593","1573-7527"],"issn-type":[{"value":"0929-5593","type":"print"},{"value":"1573-7527","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,19]]}}}