{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:29:31Z","timestamp":1742995771427,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030750992"},{"type":"electronic","value":"9783030751005"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-75100-5_32","type":"book-chapter","created":{"date-parts":[[2021,4,23]],"date-time":"2021-04-23T09:08:37Z","timestamp":1619168917000},"page":"370-382","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Formal Modeling, Verification, and Analysis of a Distributed Task Execution Algorithm"],"prefix":"10.1007","author":[{"given":"Amar","family":"Nath","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajdeep","family":"Niyogi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,4,24]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Nath, A., Arun, A.R., Niyogi, R.: An approach for task execution in dynamic multirobot environment. In: Australasian Joint Conference on Artificial Intelligence, pp. 71\u201376 (2018)","key":"32_CR1","DOI":"10.1007\/978-3-030-03991-2_7"},{"unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Trans. Softw. Eng. 23(5), 279\u2013295 (1997)","key":"32_CR2"},{"doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. Int. J. Softw. Tools Technol Transf. 1(1\u20132), 134\u2013152 (1997)","key":"32_CR3","DOI":"10.1007\/s100090050010"},{"doi-asserted-by":"publisher","unstructured":"Lomuscio, A., Qu, H., and Raimondi, F. MCMAS: a model checker for the verification of multi-agent systems. In: International Conference on Computer Aided Verification, 2009, pp. 682\u2013688. Springer, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-642-02658-4_55","key":"32_CR4","DOI":"10.1007\/978-3-642-02658-4_55"},{"doi-asserted-by":"publisher","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: probabilistic symbolic model checker. In: International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, 2002, pp. 200\u2013204. Springer, Heidelberg. https:\/\/doi.org\/10.1007\/3-540-46029-2_13","key":"32_CR5","DOI":"10.1007\/3-540-46029-2_13"},{"issue":"3","key":"32_CR6","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1049\/iet-sen.2009.0017","volume":"4","author":"O Tkachuk","year":"2002","unstructured":"Tkachuk, O., Dwyer, M.B.: Environment generation for validating event-driven software using model checking. IET Softw. 4(3), 194\u2013209 (2002)","journal-title":"IET Softw."},{"unstructured":"Abdallah, S., Lesser, V.: Organization-based cooperative coalition formation. In: Proceedings IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology, pp. 162\u2013168 (2004)","key":"32_CR7"},{"doi-asserted-by":"crossref","unstructured":"Coviello, L., Franceschetti, M.: Distributed team formation in multi-agent systems: stability and approximation. In: 51st IEEE Conference on Decision and Control (CDC), pp. 2755\u20132760 (2012)","key":"32_CR8","DOI":"10.1109\/CDC.2012.6426198"},{"doi-asserted-by":"publisher","unstructured":"To\u015bi\u0107, P.T., Agha, G.A.: Maximal clique based distributed coalition formation for task allocation in large-scale multi-agent systems. In: International Workshop on Massively Multiagent Systems, pp. 104\u2013120. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/11512073_8","key":"32_CR9","DOI":"10.1007\/11512073_8"},{"unstructured":"Wooldridge, M.: An automata-theoretic approach to multiagent planning. In: Proceedings of the First European Workshop on Multiagent Systems, Oxford University, pp. 1\u201315 (2003)","key":"32_CR10"},{"unstructured":"Clarke Jr, E.M., Grumberg, O., Kroening, D., Peled, D., Veith, H.: Model Checking. MIT press, Cambridge (2018)","key":"32_CR11"},{"unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT press, Cambridge (2008)","key":"32_CR12"},{"doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating sequential processes. The origin of concurrent programming, pp. 413\u2013443 (1978)","key":"32_CR13","DOI":"10.1007\/978-1-4757-3472-0_16"}],"container-title":["Lecture Notes in Networks and Systems","Advanced Information Networking and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-75100-5_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,23]],"date-time":"2021-04-23T11:55:49Z","timestamp":1619178949000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-75100-5_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030750992","9783030751005"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-75100-5_32","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"type":"print","value":"2367-3370"},{"type":"electronic","value":"2367-3389"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"24 April 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AINA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advanced Information Networking and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toronto, ON","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 May 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 May 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"35","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aina2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/voyager.ce.fit.ac.jp\/conf\/aina\/2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}