{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,14]],"date-time":"2026-04-14T15:47:41Z","timestamp":1776181661625,"version":"3.50.1"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030430887","type":"print"},{"value":"9783030430894","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-43089-4_9","type":"book-chapter","created":{"date-parts":[[2020,5,6]],"date-time":"2020-05-06T16:04:08Z","timestamp":1588781048000},"page":"128-143","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Language-Guided Sampling-based Planning using Temporal Relaxation"],"prefix":"10.1007","author":[{"given":"Francisco","family":"Penedo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristian-Ioan","family":"Vasile","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,5,7]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Aksaray, D., Vasile, C.I., Belta, C.: Dynamic Routing of Energy-Aware Vehicles with Temporal Logic Constraints. In: IEEE International Conference on Robotics and Automation. pp. 3141\u20133146. Stockholm, Sweden (May 2016)","DOI":"10.1109\/ICRA.2016.7487481"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Aydin Gol, E., Lazar, M., Belta, C.: Language-Guided Controller Synthesis for Linear Systems. IEEE Trans. on Automatic Control 59(5), 1163\u20131176 (2014)","DOI":"10.1109\/TAC.2013.2295664"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Bacchus, F., Kabanza, F.: Planning for temporally extended goals. Annals of Mathematics and Artificial Intelligence 22(1-2), 5\u201327","DOI":"10.1023\/A:1018985923441"},{"key":"9_CR4","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press (2008)"},{"key":"9_CR5","unstructured":"Belta, C., Isler, V., Pappas, G.J.: Discrete abstractions for robot planning and control in polygonal environments. IEEE Trans. on Robotics 21(5), 864\u2013874 (2005)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Bhatia, A., Kavraki, L., Vardi, M.: Sampling-based motion planning with temporal goals. In: IEEE International Conference on Robotics and Automation (2010)","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Canny, J.F.: The Complexity of Robot Motion Planning. MIT Press, USA (1988)","DOI":"10.1109\/SFCS.1988.21947"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Chen, Y., Tumova, J., Belta, C.: LTL Robot Motion Control based on Automata Learning of Environmental Dynamics. In: IEEE International Conference on Robotics and Automation. Saint Paul, MN, USA (2012)","DOI":"10.1109\/ICRA.2012.6225075"},{"key":"9_CR9","unstructured":"Choset, H., Lynch, K., et al.: Principles of Robot Motion: Theory, Algorithms, and Implementations. MIT Press, Boston, MA (2005)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Ding, X.C., Kloetzer, M., et al.: Formal Methods for Automatic Deployment of Robotic Teams. IEEE Robotics and Automation Magazine 18, 75\u201386 (2011)","DOI":"10.1109\/MRA.2011.942117"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Doherty, P., Kvarnstr\u00f6m, J., Heintz, F.: A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems. Autonomous Agents and Multi-Agent Systems 19(3), 332\u2013377 (Feb 2009)","DOI":"10.1007\/s10458-009-9079-8"},{"key":"9_CR12","unstructured":"Gol, E.A., Belta, C.: Time-Constrained Temporal Logic Control of Multi-Affine Systems. Nonlinear Analysis: Hybrid Systems 10, 21\u201323 (2013)"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Guo, M., Dimarogonas, D.V.: Multi-agent plan reconfiguration under local LTL specifications. International Journal of Robotics Research 34(2), 218\u2013235 (2015)","DOI":"10.1177\/0278364914546174"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Jha, S.K., Clarke, E.M., et al.: A bayesian approach to model checking biological systems. In: Computational Methods in Systems Biology. Springer-Verlag (2009)","DOI":"10.1007\/978-3-642-03845-7_15"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Karaman, S., Frazzoli, E.: Sampling-based Motion Planning with Deterministic $$\\mu $$-Calculus Specifications. In: IEEE Conference on Decision and Control (2009)","DOI":"10.1109\/CDC.2009.5400278"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Karaman, S., Frazzoli, E.: Sampling-based Algorithms for Optimal Motion Planning. International Journal of Robotics Research 30(7), 846\u2013894 (June 2011)","DOI":"10.1177\/0278364911406761"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Karaman, S., Frazzoli, E.: Sampling-based Optimal Motion Planning with Deterministic $$\\mu $$-Calculus Specifications. In: American Control Conference (2012)","DOI":"10.1109\/ACC.2012.6315419"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Kavraki, L., Svestka, P., et al.: Probabilistic roadmaps for path planning in highdimensional configuration spaces. IEEE Transactions on Robotics and Automation 12(4), 566\u2013580 (1996)","DOI":"10.1109\/70.508439"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Koymans, R.: Specifying real-time properties with metric temporal logic. Realtime systems 2(4), 255\u2013299 (1990)","DOI":"10.1007\/BF01995674"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Kress-Gazit, H., Fainekos, G.E., Pappas, G.J.:Where\u2019s Waldo? Sensor-based temporal logic motion planning. In: IEEE International Conference on Robotics and Automation. pp. 3116\u20133121 (2007)","DOI":"10.1109\/ROBOT.2007.363946"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Lahijanian, M., Almagor, S., et al.: This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction. In: AAAI Conference on Artificial Intelligence. pp. 3664\u20133671. Austin, Texas (2015)","DOI":"10.1609\/aaai.v29i1.9670"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"LaValle, S.M., Kuffner, J.J.: Randomized Kinodynamic Planning. International Journal of Robotics Research 20(5), 378\u2013400","DOI":"10.1177\/02783640122067453"},{"key":"9_CR23","unstructured":"Luo, R., Valenzano, R.A., et al.: Using Metric Temporal Logic to Specify Scheduling Problems. In: Principles of Knowledge Representation and Reasoning (2016)"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, pp. 152\u2013166. Springer (2004)","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Maly, M., Lahijanian, M., et al.: Iterative Temporal Motion Planning for Hybrid Systems in Partially Unknown Environments. In: Int. Conference on Hybrid Systems: Computation and Control (2013)","DOI":"10.1145\/2461328.2461380"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Nakagawa, S., Hasuo, I.: Near-Optimal Scheduling for LTL with Future Discounting. In: Ganty, P., Loreti, M. (eds.) Trustworthy Global Computing, pp. 112\u2013130. No. 9533 in Lecture Notes in Computer Science, Springer (2015)","DOI":"10.1007\/978-3-319-28766-9_8"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Pavone, M., Bisnik, N., et al.: A stochastic and dynamic vehicle routing problem with time windows and customer impatience. Mobile Networks and Applications 14(3), 350\u2013364 (2009)","DOI":"10.1007\/s11036-008-0101-1"},{"key":"9_CR28","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 26(3), 469\u2013482 (2010)"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Reyes Castro, L., Chaudhari, P., et al.: Incremental sampling-based algorithm for minimum-violation motion planning. In: IEEE Conference on Decision and Control. pp. 3217\u20133224 (2013)","DOI":"10.1109\/CDC.2013.6760374"},{"key":"9_CR30","doi-asserted-by":"crossref","unstructured":"Solomon, M.M.: Algorithms for the vehicle routing and scheduling problems with time window constraints. Operations research 35(2), 254\u2013265 (1987)","DOI":"10.1287\/opre.35.2.254"},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"Tkachev, I., Abate, A.: Formula-free Finite Abstractions for Linear Temporal Verification of Stochastic Hybrid Systems. In: Int. Conference on Hybrid Systems: Computation and Control. Philadelphia, PA (2013)","DOI":"10.1145\/2461328.2461372"},{"key":"9_CR32","doi-asserted-by":"crossref","unstructured":"Tumova, J., Marzinotto, A., et al.: Maximally satisfying LTL action planning. In: IEEE\/RSJ Int. Conf. on Intelligent Robots and Systems. pp. 1503\u20131510 (2014)","DOI":"10.1109\/IROS.2014.6942755"},{"key":"9_CR33","doi-asserted-by":"crossref","unstructured":"Tumova, J., Hall, G.C., et al.: Least-violating Control Strategy Synthesis with Safety Rules. In: Hybrid Systems: Computation and Control. pp. 1\u201310 (2013)","DOI":"10.1145\/2461328.2461330"},{"key":"9_CR34","doi-asserted-by":"crossref","unstructured":"Vasile, C., Belta, C.: Sampling-Based Temporal Logic Path Planning. In: IEEE\/RSJ International Conference on Intelligent Robots and Systems (2013)","DOI":"10.1109\/IROS.2013.6697051"},{"key":"9_CR35","unstructured":"Vasile, C.I., Aksaray, D., Belta, C.: Time Window Temporal Logic. Theoretical Computer Science p. (submitted), http:\/\/arxiv.org\/abs\/1602.04294"},{"key":"9_CR36","doi-asserted-by":"crossref","unstructured":"Vasile, C.I., Belta, C.: An Automata-Theoretic Approach to the Vehicle Routing Problem. In: Robotics: Science and Systems Conference. USA (2014)","DOI":"10.15607\/RSS.2014.X.045"},{"key":"9_CR37","doi-asserted-by":"crossref","unstructured":"Wolff, E.M., Topcu, U., Murray, R.M.: Automaton-guided controller synthesis for nonlinear systems with temporal logic. In: IEEE\/RSJ International Conference on Intelligent Robots and Systems. pp. 4332\u20134339 (2013)","DOI":"10.1109\/IROS.2013.6696978"},{"key":"9_CR38","doi-asserted-by":"crossref","unstructured":"Wongpiromsarn, T., Topcu, U., Murray, R.M.: Receding Horizon Temporal Logic Planning for Dynamical Systems. In: Conference on Decision and Control (2009)","DOI":"10.1109\/CDC.2009.5399536"},{"key":"9_CR39","doi-asserted-by":"crossref","unstructured":"Yoo, C., Fitch, R., Sukkarieh, S.: Probabilistic temporal logic for motion planning with resource threshold constraints (2012)","DOI":"10.15607\/RSS.2012.VIII.058"}],"container-title":["Springer Proceedings in Advanced Robotics","Algorithmic Foundations of Robotics XII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-43089-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T05:43:38Z","timestamp":1666503818000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-43089-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030430887","9783030430894"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-43089-4_9","relation":{},"ISSN":["2511-1256","2511-1264"],"issn-type":[{"value":"2511-1256","type":"print"},{"value":"2511-1264","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"7 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}