{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:36:49Z","timestamp":1771025809159,"version":"3.50.1"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319252513","type":"print"},{"value":"9783319252520","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-25252-0_22","type":"book-chapter","created":{"date-parts":[[2015,11,2]],"date-time":"2015-11-02T15:58:36Z","timestamp":1446479916000},"page":"208-213","source":"Crossref","is-referenced-by-count":1,"title":["Model Checking Based Query and Retrieval in OpenStreetMap"],"prefix":"10.1007","author":[{"given":"Tommaso","family":"Di Noia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marina","family":"Mongiello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugenio","family":"Di Sciascio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,30]]},"reference":[{"key":"22_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/BFb0031988","volume-title":"Real-Time: Theory in Practice","author":"R Alur","year":"1992","unstructured":"Alur, R., Henzinger, T.A.: Logics and models of real time: a survey. In: de Bakker, J.W., Huizing, C., de Roever, W.P., Rozenberg, G. (eds.) Real-Time: Theory in Practice. LNCS, vol. 600, pp. 74\u2013106. Springer, Heidelberg (1992)"},{"key":"22_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/BFb0020949","volume-title":"Hybrid Systems III","author":"J Bengtsson","year":"1996","unstructured":"Bengtsson, J., Larsen, K., Larsson, F., Pettersson, P., Yi, W.: UPPAAL - a tool suite for automatic verification of real-time systems. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, vol. 1066, pp. 232\u2013243. Springer, Heidelberg (1996)"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Colombo, A., Fontanelli, D., Legay, A., Palopoli, L., Sedwards, S.: Motion planning in crowds using statistical model checking to enhance the social force model. In: 2013 IEEE 52nd Annual Conference on Decision and Control (CDC), pp. 3602\u20133608. IEEE (2013)","DOI":"10.1109\/CDC.2013.6760437"},{"key":"22_CR4","volume-title":"Handbook of Theoretical Computer Science","author":"EA Emerson","year":"1995","unstructured":"Emerson, E.A.: Handbook of Theoretical Computer Science. North-Holland publisher, Amsterdam (1995)"},{"key":"22_CR5","volume-title":"Stochastic Hybrid Systems, Control Engineering Series","author":"JP Katoen","year":"2007","unstructured":"Katoen, J.P.: Stochastic model checking. In: Cassandras, C.G., Lygeros, J. (eds.) Stochastic Hybrid Systems, Control Engineering Series. CRC Press inc, Boca Raton (2007)"},{"key":"22_CR6","unstructured":"Konur, S.: Real-time and probabilistic temporal logics: An overview. CoRR, abs\/1005.3200 (2010)"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Lahijanian, M., Almagor, S., Fried, D., Kavraki, L.E., Vardi, M.Y.: This time the robot settles for a cost: Quantitative approach to temporal logic planning with partial satisfaction (2015)","DOI":"10.1609\/aaai.v29i1.9670"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Lahijanian, M., Kavraki, L.E., Vardi, M.Y.: A sampling-based strategy planner for nondeterministic hybrid systems. In: 2014 IEEE International Conference on Robotics and Automation (ICRA), pp. 3005\u20133012. IEEE (2014)","DOI":"10.1109\/ICRA.2014.6907292"},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","first-page":"62","volume-title":"Fundamentals of Computation Theory","author":"KG Larsen","year":"1977","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Model-checking for real-time systems. In: Karpinski, M. (ed.) FCT 1977. LNCS, vol. 56, pp. 62\u201388. Springer, Heidelberg (1977)"},{"key":"22_CR10","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT press, Cambridge (1999)"},{"key":"22_CR11","unstructured":"OpenStreetMap (OSM). https:\/\/www.openstreetmap.org\/#map=5\/51.509\/0.044 (2004)"},{"key":"22_CR12","unstructured":"Yi, W., Pettersson, P., Daniels, M.: Automatic Verification of real-time communicating systems by constraint-solving. In: Hogrefe, D., Leue, S. (eds.) Proceedings of the 7th Inernational Conference on Formal Description Techniques, pp. 223\u2013238. North-Holland (1994)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25252-0_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,15]],"date-time":"2023-08-15T18:22:04Z","timestamp":1692123724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25252-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319252513","9783319252520"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25252-0_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}