{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T15:23:03Z","timestamp":1726068183241},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030414177"},{"type":"electronic","value":"9783030414184"}],"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-41418-4_9","type":"book-chapter","created":{"date-parts":[[2020,2,19]],"date-time":"2020-02-19T01:14:01Z","timestamp":1582074841000},"page":"113-122","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Planning Approach Based on APTL"],"prefix":"10.1007","author":[{"given":"Haiyang","family":"Wang","sequence":"first","affiliation":[]},{"given":"Yao","family":"Liu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,2,20]]},"reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/3-540-44568-4_2","volume-title":"Balancing Reactivity and Social Deliberation in Multi-Agent Systems","author":"L Iocchi","year":"2001","unstructured":"Iocchi, L., Nardi, D., Salerno, M.: Reactivity and deliberation: a survey on multi-robot systems. BRSDMAS 2000. LNCS (LNAI), vol. 2103, pp. 9\u201332. Springer, Heidelberg (2001). \nhttps:\/\/doi.org\/10.1007\/3-540-44568-4_2"},{"issue":"1","key":"9_CR2","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1080\/10798587.2000.10768161","volume":"6","author":"DH Kim","year":"2000","unstructured":"Kim, D.H., Kim, Y.J., Kim, K.C., Kim, J.H., Vadakkepat, P.: Vector field based path planning and petri-net based role selection mechanism with Q-learning for the soccer robot system. Intell. Autom. Soft Comput. 6(1), 75\u201387 (2000)","journal-title":"Intell. Autom. Soft Comput."},{"issue":"10","key":"9_CR3","doi-asserted-by":"publisher","first-page":"1915","DOI":"10.1109\/TKDE.2018.2810144","volume":"30","author":"L Xu","year":"2018","unstructured":"Xu, L., Tian, C., Duan, Z., Hongwei, D.: Planning with spatio-temporal search control knowledge. IEEE Trans. Knowl. Data Eng. 30(10), 1915\u20131928 (2018)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"1\u20134","key":"9_CR4","first-page":"35","volume":"37","author":"H Wang","year":"2017","unstructured":"Wang, H., Duan, Z., Tian, C.: Model checking multi-agent systems with APTL. Ad Hoc Sens. Wirel. Netw. 37(1\u20134), 35\u201352 (2017)","journal-title":"Ad Hoc Sens. Wirel. Netw."},{"issue":"6","key":"9_CR5","first-page":"1635","volume":"29","author":"HY Wang","year":"2018","unstructured":"Wang, H.Y., Duan, Z.H., Tian, C., Ruan, J., Xue, B.: Tool for checking satisfiability of APTL formulas. J. Softw. 29(6), 1635\u20131646 (2018). (in Chinese). \nhttp:\/\/www.jos.org.cn\/1000-9825\/5459.htm","journal-title":"J. Softw."},{"issue":"9\u201310","key":"9_CR6","first-page":"1","volume":"173","author":"Q Lomuscio Alessio","year":"2015","unstructured":"Lomuscio Alessio, Q., Hongyang, R.F.: MCMAS: an open-source model checker for the verification of multi-agent systems. Int. J. Softw. Tools Technol. Transf. 173(9\u201310), 1\u201322 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"9_CR7","unstructured":"Lomuscio, A., Michaliszyn, J.: Model checking multi-agent systems against epistemic HS specifications with regular expressions. In: Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning, KR 2016, Cape Town, South Africa, 25\u201329 April 2016, pp. 298\u2013308 (2016)"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"544","DOI":"10.1016\/j.tcs.2015.08.039","volume":"609","author":"Z Duan","year":"2016","unstructured":"Duan, Z., Tian, C., Zhang, N.: A canonical form based decision procedure and model checking approach for propositional projection temporal logic. Theor. Comput. Sci. 609, 544\u2013560 (2016)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.tcs.2012.01.026","volume":"497","author":"Z Duan","year":"2013","unstructured":"Duan, Z., Zhang, N., Koutny, M.: A complete proof system for propositional projection temporal logic. Theor. Comput. Sci. 497, 84\u2013107 (2013)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"9_CR10","first-page":"1101","volume":"68","author":"M Wang","year":"2019","unstructured":"Wang, M., Tian, C., Zhang, N., Duan, Z.: Verifying full regular temporal properties of programs via dynamic program execution. TR 68(3), 1101\u20131116 (2019)","journal-title":"TR"},{"issue":"2","key":"9_CR11","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1109\/TR.2018.2806349","volume":"67","author":"J Cui","year":"2018","unstructured":"Cui, J., Duan, Z., Tian, C., Hongwei, D.: A novel approach to modeling and verifying real-time systems for high reliability. IEEE Trans. Reliab. 67(2), 481\u2013493 (2018)","journal-title":"IEEE Trans. Reliab."},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.jpdc.2017.09.003","volume":"118","author":"Y Bin","year":"2018","unstructured":"Bin, Y., Duan, Z., Tian, C., Zhang, N.: Verifying temporal properties of programs: a parallel approach. J. Parallel Distrib. Comput. 118, 89\u201399 (2018)","journal-title":"J. Parallel Distrib. Comput."},{"issue":"5","key":"9_CR13","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672\u2013713 (2002)","journal-title":"J. ACM"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"694","DOI":"10.1007\/978-3-642-16901-4_45","volume-title":"Formal Methods and Software Engineering","author":"C Tian","year":"2010","unstructured":"Tian, C., Duan, Z.: Alternating interval based temporal logics. In: Dong, J.S., Zhu, H. (eds.) ICFEM 2010. LNCS, vol. 6447, pp. 694\u2013709. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-16901-4_45"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Tian, C., Duan, Z.: Detecting spurious counterexamples efficiently in abstract model checking. In: ICSE, pp. 202\u2013211 (2013)","DOI":"10.1109\/ICSE.2013.6606566"},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"592","DOI":"10.4028\/www.scientific.net\/AMM.393.592","volume":"393","author":"JG Guarnizo","year":"2013","unstructured":"Guarnizo, J.G., Mellado, M., Low, C.Y., Aziz, N.: Strategy model for multi-robot coordination in robotic soccer. Appl. Mech. Mater. 393, 592\u2013597 (2013)","journal-title":"Appl. Mech. Mater."}],"container-title":["Lecture Notes in Computer Science","Structured Object-Oriented Formal Language and Method"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-41418-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,19]],"date-time":"2020-02-19T01:14:50Z","timestamp":1582074890000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-41418-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030414177","9783030414184"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-41418-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"20 February 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SOFL+MSVL","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Structured Object-Oriented Formal Language and Method","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Shenzhen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 November 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 November 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sofl2019a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/csse.szu.edu.cn\/icfem2019\/soflmsvl.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}