{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T14:56:51Z","timestamp":1761663411483},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319237770"},{"type":"electronic","value":"9783319237787"}],"license":[{"start":{"date-parts":[[2015,11,13]],"date-time":"2015-11-13T00:00:00Z","timestamp":1447372800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-23778-7_40","type":"book-chapter","created":{"date-parts":[[2015,11,12]],"date-time":"2015-11-12T10:39:58Z","timestamp":1447324798000},"page":"605-619","source":"Crossref","is-referenced-by-count":16,"title":["Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints"],"prefix":"10.1007","author":[{"given":"Kevin","family":"Leahy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dingjiang","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristian-Ioan","family":"Vasile","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantinos","family":"Oikonomopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mac","family":"Schwager","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":[[2015,11,13]]},"reference":[{"issue":"1","key":"40_CR1","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1287\/mnsc.6.1.80","volume":"6","author":"GB Dantzig","year":"1959","unstructured":"Dantzig, G.B., Ramser, J.H.: The truck dispatching problem. Manag. Sci. 6(1), 80\u201391 (1959)","journal-title":"Manag. Sci."},{"key":"40_CR2","doi-asserted-by":"crossref","unstructured":"Toth, P., Vigo, D.: The Vehicle Routing Problem. SIAM (2001)","DOI":"10.1137\/1.9780898718515"},{"key":"40_CR3","doi-asserted-by":"crossref","unstructured":"Michael, N., Stump, E., Mohta, K.: Persistent surveillance with a team of mavs. In: Proceedings of the International Conference on Intelligent Robots and Systems (IROS 11), pp. 2708\u20132714. IEEE (2011 )","DOI":"10.1109\/IROS.2011.6048774"},{"key":"40_CR4","doi-asserted-by":"crossref","unstructured":"Stump, E., Michael, N.: Multi-robot persistent surveillance planning as a vehicle routing problem. In: Proceedings of the IEEE Conference on Automation Science and Engineering (CASE), pp. 569\u2013575. IEEE (2011)","DOI":"10.1109\/CASE.2011.6042503"},{"key":"40_CR5","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press (2008)"},{"issue":"14","key":"40_CR6","doi-asserted-by":"publisher","first-page":"1695","DOI":"10.1177\/0278364911417911","volume":"30","author":"S Smith","year":"2011","unstructured":"Smith, S., Tumova, J., Belta, C., Rus, D.: Optimal path planning for surveillance with temporal logic constraints. Int. J. Robot. Res. 30(14), 1695\u20131708 (2011)","journal-title":"Int. J. Robot. Res."},{"issue":"8","key":"40_CR7","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1177\/0278364913487931","volume":"32","author":"A Ulusoy","year":"2013","unstructured":"Ulusoy, A., Smith, S.L., Ding, X.C., Belta, C., Rus, D.: Optimality and robustness in multi-robot path planning with temporal logic constraints. Int. J. Robot. Res. 32(8), 889\u2013911 (2013)","journal-title":"Int. J. Robot. Res."},{"issue":"1","key":"40_CR8","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1109\/TASE.2013.2279544","volume":"11","author":"K Sundar","year":"2014","unstructured":"Sundar, K., Rathinam, S.: Algorithms for routing an unmanned aerial vehicle in the presence of refueling depots. IEEE Trans. Autom. Sci. Eng. 11(1), 287\u2013294 (2014)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"40_CR9","doi-asserted-by":"crossref","unstructured":"Mulgaonkar, Y., Kumar, V.: Autonomous charging to enable long-endurance missions for small aerial robots. Proc. SPIE-DSS 9083(64) (2014)","DOI":"10.1117\/12.2051111"},{"key":"40_CR10","doi-asserted-by":"crossref","unstructured":"Karaman, S., Frazzoli, E.: Vehicle routing problem with metric temporal logic specifications. In: IEEE Conference on Decision and Control, pp. 3953\u20133958 (2008)","DOI":"10.1109\/CDC.2008.4739366"},{"key":"40_CR11","doi-asserted-by":"crossref","unstructured":"Vasile, C., Belta, C.: An automata-theoretic approach to the vehicle routing problem. In: Robotics: Science and Systems Conference (RSS), Berkeley (2014)","DOI":"10.15607\/RSS.2014.X.045"},{"key":"40_CR12","doi-asserted-by":"crossref","unstructured":"Zhou, D., Schwager, M.: Vector field following for quadrotors using differential flatness. In: Proceedings of the International Conference on Robotics and Automation (ICRA) (2014)","DOI":"10.1109\/ICRA.2014.6907828"},{"key":"40_CR13","first-page":"218","volume-title":"Computational Methods in Systems Biology","author":"Sumit K. Jha","year":"2009","unstructured":"Jha, S., Clarke, E., Langmead, C., Legay, A., Platzer, A., Zuliani, P.: A bayesian approach to model checking biological systems. In: Proceedings of the 7th International Conference on Computational Methods in Systems Biology, CMSB \u201909, pp. 218\u2013234. Springer, Berlin (2009)"},{"key":"40_CR14","doi-asserted-by":"crossref","unstructured":"Tkachev, I., Abate, A.: Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Philadelphia (2013)","DOI":"10.1145\/2461328.2461372"},{"issue":"3","key":"40_CR15","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. Form. Methods Syst. Des. 19(3), 291\u2013314 (2001)","journal-title":"Form. Methods Syst. Des."},{"key":"40_CR16","doi-asserted-by":"crossref","unstructured":"Latvala, T.: Effcient model checking of safety properties. In: 10th International SPIN Workshop, Model Checking Software, pp. 74\u201388. Springer (2003)","DOI":"10.1007\/3-540-44829-2_5"},{"issue":"11","key":"40_CR17","doi-asserted-by":"crossref","first-page":"1749","DOI":"10.1109\/TAC.2006.884957","volume":"51","author":"Calin Belta","year":"2006","unstructured":"Belta, C., Habets, L.C.G.J.M.: Controlling a class of nonlinear systems on rectangles. IEEE Trans. Autom. Control 51(11), 1749\u20131759 (2006)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"40_CR18","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.nahs.2013.03.002","volume":"10","author":"E Aydin Gol","year":"2013","unstructured":"Aydin Gol, E., Belta, C.: Time-constrained temporal logic control of multi-affine systems. Nonlinear Anal. Hybrid Syst. 10, 21\u201333 (2013)","journal-title":"Nonlinear Anal. Hybrid Syst."},{"key":"40_CR19","doi-asserted-by":"crossref","unstructured":"Mellinger, D., Kumar, V.: Minimum snap trajectory generation and control for quadrotors. In: 2011 IEEE International Conference on Robotics and Automation (ICRA), pp. 2520\u20132525. IEEE (2011)","DOI":"10.1109\/ICRA.2011.5980409"}],"container-title":["Springer Tracts in Advanced Robotics","Experimental Robotics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23778-7_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T16:32:28Z","timestamp":1559320348000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-23778-7_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11,13]]},"ISBN":["9783319237770","9783319237787"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23778-7_40","relation":{},"ISSN":["1610-7438","1610-742X"],"issn-type":[{"type":"print","value":"1610-7438"},{"type":"electronic","value":"1610-742X"}],"subject":[],"published":{"date-parts":[[2015,11,13]]}}}