{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:37:11Z","timestamp":1755999431181,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642325267"},{"type":"electronic","value":"9783642325274"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32527-4_30","type":"book-chapter","created":{"date-parts":[[2012,7,24]],"date-time":"2012-07-24T03:17:47Z","timestamp":1343099867000},"page":"331-342","source":"Crossref","is-referenced-by-count":31,"title":["Planning in Discrete and Continuous Spaces: From LTL Tasks to Robot Motions"],"prefix":"10.1007","author":[{"given":"Erion","family":"Plaku","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"Ghallab, M., Nau, D.S., Traverso, P.: Automated Planning: theory and practice. Morgan Kaufmann (2004)","DOI":"10.1016\/B978-155860856-6\/50021-1"},{"key":"30_CR2","unstructured":"Choset, H., Lynch, K.M., Hutchinson, S., Kantor, G., Burgard, W., Kavraki, L.E., Thrun, S.: Principles of Robot Motion: Theory, Algorithms, and Implementations. MIT Press (2005)"},{"key":"30_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877","volume-title":"Planning Algorithms","author":"S.M. LaValle","year":"2006","unstructured":"LaValle, S.M.: Planning Algorithms. Cambridge University Press, Cambridge (2006)"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"Stentz, A.: Optimal and efficient path planning for partially-known environments. In: IEEE Intl. Conf. on Robotics and Automation, San Diego, CA, pp. 3310\u20133317 (1994)","DOI":"10.1109\/ROBOT.1994.351061"},{"issue":"1","key":"30_CR5","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1016\/j.robot.2005.09.027","volume":"54","author":"P. Tompkins","year":"2006","unstructured":"Tompkins, P., Stentz, A., Wettergreen, D.: Mission-level path planning and re-planning for rover exploration. Robotics and Autonomous Systems\u00a054(1), 174\u2013183 (2006)","journal-title":"Robotics and Autonomous Systems"},{"issue":"1-2","key":"30_CR6","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1016\/0004-3702(94)00088-I","volume":"76","author":"A. Saffiotti","year":"1995","unstructured":"Saffiotti, A., Konolige, K., Ruspini, E.H.: A multivalued logic approach to integrating planning and control. Artificial Intelligence\u00a076(1-2), 481\u2013526 (1995)","journal-title":"Artificial Intelligence"},{"issue":"3","key":"30_CR7","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1109\/MRA.2011.942116","volume":"18","author":"H. Kress-Gazit","year":"2011","unstructured":"Kress-Gazit, H., Wongpiromsarn, T., Topcu, U.: Correct, reactive robot control from abstraction and temporal logic specifications. IEEE Robotics and Automation Magazine\u00a018(3), 65\u201374 (2011)","journal-title":"IEEE Robotics and Automation Magazine"},{"issue":"3","key":"30_CR8","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/MRA.2011.942117","volume":"18","author":"X.C. Ding","year":"2011","unstructured":"Ding, X.C., Kloetzer, M., Chen, Y., Belta, C.: Formal methods for automatic deployment of robotic teams. IEEE Robotics and Automation Magazine\u00a018(3), 75\u201386 (2011)","journal-title":"IEEE Robotics and Automation Magazine"},{"issue":"2","key":"30_CR9","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/j.automatica.2008.08.008","volume":"45","author":"G.E. Fainekos","year":"2009","unstructured":"Fainekos, G.E., Girard, A., Kress-Gazit, H., Pappas, G.J.: Temporal logic motion planning for dynamic mobile robots. Automatica\u00a045(2), 343\u2013352 (2009)","journal-title":"Automatica"},{"issue":"3","key":"30_CR10","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1109\/TRO.2010.2047820","volume":"26","author":"E. Plaku","year":"2010","unstructured":"Plaku, E., Kavraki, L.E., Vardi, M.Y.: Motion planning with dynamics by a synergistic combination of layers of planning. IEEE Trans. on Robotics\u00a026(3), 469\u2013482 (2010)","journal-title":"IEEE Trans. on Robotics"},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"Plaku, E., Hager, G.D.: Sampling-based motion and symbolic action planning with geometric and differential constraints. In: IEEE Intl. Conf. on Robotics and Automation, Anchorage, AK, pp. 5002\u20135008 (2010)","DOI":"10.1109\/ROBOT.2010.5509563"},{"key":"30_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/978-3-642-00768-2_31","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E. Plaku","year":"2009","unstructured":"Plaku, E., Kavraki, L.E., Vardi, M.Y.: Falsification of LTL Safety Properties in Hybrid Systems. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol.\u00a05505, pp. 368\u2013382. Springer, Heidelberg (2009)"},{"key":"30_CR13","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/MRA.2011.942115","volume":"18","author":"A. Bhatia","year":"2011","unstructured":"Bhatia, A., Maly, M., Kavraki, L., Vardi, M.: Motion planning with complex goals. IEEE Robotics Automation Magazine\u00a018, 55\u201364 (2011)","journal-title":"IEEE Robotics Automation Magazine"},{"issue":"3","key":"30_CR14","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1023\/A:1011254632723","volume":"19","author":"O. Kupferman","year":"2001","unstructured":"Kupferman, O., Vardi, M.: Model checking of safety properties. Formal Methods in System Design\u00a019(3), 291\u2013314 (2001)","journal-title":"Formal Methods in System Design"},{"key":"30_CR15","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/BF01211865","volume":"6","author":"A. Sistla","year":"1994","unstructured":"Sistla, A.: Safety, liveness and fairness in temporal logic. Formal Aspects of Computing\u00a06, 495\u2013511 (1994)","journal-title":"Formal Aspects of Computing"},{"issue":"6","key":"30_CR16","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1109\/70.265919","volume":"9","author":"J. Laumond","year":"1993","unstructured":"Laumond, J.: Controllability of a multibody mobile robot. IEEE Trans. on Robotics and Automation\u00a09(6), 755\u2013763 (1993)","journal-title":"IEEE Trans. on Robotics and Automation"},{"issue":"7","key":"30_CR17","doi-asserted-by":"publisher","first-page":"895","DOI":"10.1177\/0278364911406562","volume":"30","author":"J. Berg Van Den","year":"2011","unstructured":"Van Den Berg, J., Abbeel, P., Goldberg, K.: LQG-MP: Optimized path planning for robots with motion uncertainty and imperfect state information. Intl. J. of Robotics Research\u00a030(7), 895\u2013913 (2011)","journal-title":"Intl. J. of Robotics Research"}],"container-title":["Lecture Notes in Computer Science","Advances in Autonomous Robotics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32527-4_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T08:47:02Z","timestamp":1743842822000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32527-4_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642325267","9783642325274"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32527-4_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}