{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,11,11]],"date-time":"2022-11-11T07:53:26Z","timestamp":1668153206092},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SICS Softw.-Inensiv. Cyber-Phys. Syst."],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1007\/s00450-019-00424-7","type":"journal-article","created":{"date-parts":[[2019,12,5]],"date-time":"2019-12-05T15:02:38Z","timestamp":1575558158000},"page":"201-212","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Strategic logics for collaborative embedded systems"],"prefix":"10.1007","volume":"34","author":[{"given":"Damian","family":"Kurpiewski","sequence":"first","affiliation":[]},{"given":"Diego","family":"Marmsoler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,12,5]]},"reference":[{"key":"424_CR1","unstructured":"\u00c5gotnes T (2004) A note on syntactic characterization of incomplete information in ATEL. In: Proceedings of workshop on knowledge and games, pp 34\u201342"},{"key":"424_CR2","volume-title":"Handbook of epistemic logic","author":"T \u00c5gotnes","year":"2015","unstructured":"\u00c5gotnes T, Goranko V, Jamroga W, Wooldridge M (2015) Knowledge and ability. In: van Ditmarsch H, Halpern J, van der Hoek W, Kooi B (eds) Handbook of epistemic logic. College Publications, New York"},{"key":"424_CR3","unstructured":"Alur R, de\u00a0Alfaro L, Grossu R, Henzinger T, Kang M, Kirsch C, Majumdar R, Mang F, Wang BY (2001) jMocha: a model-checking tool that exploits design structure. In: Proceedings of international conference on software engineering (ICSE), pp 835\u2013836. IEEE Computer Society Press"},{"key":"424_CR4","unstructured":"Alur R, Henzinger TA, Kupferman O (1997) Alternating-time temporal logic. In: Proceedings of the 38th annual symposium on foundations of computer science (FOCS), pp 100\u2013109. IEEE Computer Society Press"},{"key":"424_CR5","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R Alur","year":"2002","unstructured":"Alur R, Henzinger TA, Kupferman O (2002) Alternating-time temporal logic. J ACM 49:672\u2013713. https:\/\/doi.org\/10.1145\/585265.585270","journal-title":"J ACM"},{"key":"424_CR6","volume-title":"Specification and verification of multi-agent systems","author":"N Bulling","year":"2010","unstructured":"Bulling N, Dix J, Jamroga W (2010) Model checking logics of strategic ability: complexity. In: Dastani M, Hindriks K, Meyer JJ (eds) Specification and verification of multi-agent systems. Springer, Berlin"},{"key":"424_CR7","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-662-48540-8_4","volume-title":"Models of strategic reasoning","author":"N Bulling","year":"2015","unstructured":"Bulling N, Goranko V, Jamroga W (2015) Logics for reasoning about strategic abilities in multi-player games. In: van Benthem J, Ghosh S, Verbrugge R (eds) Models of strategic reasoning. Springer, Berlin, pp 93\u2013136"},{"issue":"3","key":"424_CR8","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1007\/s10458-013-9231-3","volume":"28","author":"N Bulling","year":"2014","unstructured":"Bulling N, Jamroga W (2014) Comparing variants of strategic ability: how uncertainty and memory influence general properties of games. J Auton Agents Multi Agent Syst 28(3):474\u2013518","journal-title":"J Auton Agents Multi Agent Syst"},{"key":"424_CR9","doi-asserted-by":"publisher","unstructured":"Busard S, Pecheur C, Qu H, Raimondi F (2014) Improving the model checking of strategies under partial observability and fairness constraints. In: Formal methods and software engineering, lecture notes in computer science, vol 8829, pp 27\u201342. Springer. https:\/\/doi.org\/10.1007\/978-3-319-11737-9_3","DOI":"10.1007\/978-3-319-11737-9_3"},{"key":"424_CR10","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1016\/j.ic.2015.03.014","volume":"242","author":"S Busard","year":"2015","unstructured":"Busard S, Pecheur C, Qu H, Raimondi F (2015) Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. Inf Comput 242:128\u2013156. https:\/\/doi.org\/10.1016\/j.ic.2015.03.014","journal-title":"Inf Comput"},{"issue":"2","key":"424_CR11","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"EM Clarke","year":"1986","unstructured":"Clarke EM, Emerson EA, Sistla AP (1986) Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans Program Lang Syst 8(2):244\u2013263. https:\/\/doi.org\/10.1145\/5397.5399","journal-title":"ACM Trans Program Lang Syst"},{"issue":"7","key":"424_CR12","doi-asserted-by":"publisher","first-page":"1257","DOI":"10.1109\/JPROC.2006.876939","volume":"94","author":"M Dias","year":"2006","unstructured":"Dias M, Zlot R, Kalra N, Stentz A (2006) Market-based multirobot coordination: a survey and analysis. Proc IEEE 94(7):1257\u20131270. https:\/\/doi.org\/10.1109\/JPROC.2006.876939","journal-title":"Proc IEEE"},{"key":"424_CR13","doi-asserted-by":"crossref","unstructured":"Dima C, Enea C, Guelev D (2010) Model-checking an alternating-time temporal logic with knowledge, imperfect information, perfect recall and communicating coalitions. In: Proceedings of games, automata, logics and formal verification (GandALF), pp 103\u2013117","DOI":"10.4204\/EPTCS.25.12"},{"key":"424_CR14","unstructured":"Dima C, Tiplea F (2011) Model-checking ATL under imperfect information and perfect recall semantics is undecidable. CoRR abs\/1102.4225"},{"key":"424_CR15","doi-asserted-by":"crossref","unstructured":"Gammie P, Meyden R (2004) MCK model checking the logic of knowledge. In: Proceedings of the 16th international conference on computer aided verification (CAV\u201904), LNCS, vol 3114, pp 479\u2013483. Springer","DOI":"10.1007\/978-3-540-27813-9_41"},{"key":"424_CR16","doi-asserted-by":"publisher","unstructured":"Guelev D, Dima C (2012) Epistemic ATL with perfect recall, past and strategy contexts. In: Proceedings of computational logic in multi-agent systems (CLIMA), lecture notes in computer science, vol 7486, pp 77\u201393. Springer. https:\/\/doi.org\/10.1007\/978-3-642-32897-8_7","DOI":"10.1007\/978-3-642-32897-8_7"},{"issue":"1","key":"424_CR17","doi-asserted-by":"publisher","first-page":"93","DOI":"10.3166\/jancl.21.93-131","volume":"21","author":"D Guelev","year":"2011","unstructured":"Guelev D, Dima C, Enea C (2011) An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking. J Appl Non Class Logics 21(1):93\u2013131","journal-title":"J Appl Non Class Logics"},{"key":"424_CR18","doi-asserted-by":"crossref","unstructured":"Huang X, van\u00a0der Meyden R (2014) Symbolic model checking epistemic strategy logic. In: Proceedings of AAAI conference on artificial intelligence, pp 1426\u20131432","DOI":"10.1609\/aaai.v28i1.8894"},{"key":"424_CR19","volume-title":"Logical methods for specification and verification of multi-agent systems","author":"W Jamroga","year":"2015","unstructured":"Jamroga W (2015) Logical methods for specification and verification of multi-agent systems. ICS PAS Publishing House, Manila"},{"issue":"2\u20133","key":"424_CR20","first-page":"185","volume":"63","author":"W Jamroga","year":"2004","unstructured":"Jamroga W, van der Hoek W (2004) Agents that know how to play. Fundam Inform 63(2\u20133):185\u2013219","journal-title":"Fundam Inform"},{"key":"424_CR21","unstructured":"Jamroga W, Knapik M, Kurpiewski D(2017) Fixpoint approximation of strategic abilities under imperfect information. In: Proceedings of the 16th international conference on autonomous agents and multiagent systems (AAMAS), pp 1241\u20131249. IFAAMAS"},{"key":"424_CR22","doi-asserted-by":"crossref","unstructured":"Jamroga W, Knapik M, Kurpiewski D (2018) Model checking the selene e-voting protocol in multi-agent logics. In: Proceedings of the 3rd international joint conference on electronic voting (E-VOTE-ID), lecture notes in computer science, Springer. To appear","DOI":"10.1007\/978-3-030-00419-4_7"},{"key":"424_CR23","doi-asserted-by":"crossref","unstructured":"Jamroga W, Knapik M, Kurpiewski D, Mikulski \u0141 (2018) Approximate verification of strategic abilities under imperfect information. Artificial intelligence, To appear","DOI":"10.1016\/j.artint.2019.103172"},{"key":"424_CR24","doi-asserted-by":"crossref","unstructured":"Koenig S, Keskinocak P, Tovey CA (2010) Progress on agent coordination with cooperative auctions. In: Proceedings of the twenty-fourth AAAI conference on artificial intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11\u201315, 2010","DOI":"10.1609\/aaai.v24i1.7764"},{"key":"424_CR25","doi-asserted-by":"crossref","unstructured":"Lagoudakis M, Markakis V, Kempe D, Keskinocak P, Koenig S, Kleywegt A, Tovey C, Meyerson A, Jain S (2005) Auction-based multi-robot routing. In: Proceedings of the international conference on robotics: science and systems, pp 343\u2013350","DOI":"10.15607\/RSS.2005.I.045"},{"key":"424_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-015-0378-x","author":"A Lomuscio","year":"2015","unstructured":"Lomuscio A, Qu H, Raimondi F (2015) MCMAS: an open-source model checker for the verification of multi-agent systems. Int J Softw Tools Technol Transf. https:\/\/doi.org\/10.1007\/s10009-015-0378-x Availabe online","journal-title":"Int J Softw Tools Technol Transf"},{"key":"424_CR27","unstructured":"Manyika J, Chui M, Bisson P, Woetzel J, Dobbs R, Bughin J, Aharon D (2015) The internet of things: mapping the value beyond the hype. https:\/\/web.archive.org\/web\/20180726101247\/https:\/\/www.mckinsey.com\/~\/media\/McKinsey\/Business"},{"key":"424_CR28","unstructured":"Motavalli J (2010) The dozens of computers that make modern cars go (and stop). https:\/\/web.archive.org\/web\/20180726104858\/https:\/\/www.nytimes.com\/2010\/02\/05\/technology\/05electronics.html"},{"key":"424_CR29","doi-asserted-by":"crossref","unstructured":"Pilecki\u00a0J, Bednarczyk\u00a0M, Jamroga\u00a0W (2014) Synthesis and verification of uniform strategies for multi-agent systems. In: Proceedings of CLIMA XV, lecture notes in computer science, vol 8624, pp 166\u2013182. Springer","DOI":"10.1007\/978-3-319-09764-0_11"},{"key":"424_CR30","doi-asserted-by":"crossref","unstructured":"Rajkumar R, Lee I, Sha L, Stankovic J (2010) Cyber\u2013physical systems: the next computing revolution. In: Design automation conference (DAC), 2010 47th ACM\/IEEE, pp 731\u2013736. IEEE","DOI":"10.1145\/1837274.1837461"},{"key":"424_CR31","first-page":"201","volume-title":"Multiagent systems: a modern approach to distributed artificial intelligence","author":"TW Sandholm","year":"1999","unstructured":"Sandholm TW (1999) Distributed rational decision making. In: Weiss G (ed) Multiagent systems: a modern approach to distributed artificial intelligence. The MIT Press, Cambridge, pp 201\u2013258"},{"key":"424_CR32","doi-asserted-by":"publisher","unstructured":"Schlingloff B (2018) Specification and verification of collaborative transport robots. In: 4th international workshop on emerging ideas and trends in the engineering of cyber\u2013physical systems, EITEC@CPSWeek 2018, 10 April 2018, Porto, Portugal, pp 3\u20138. IEEE Computer Society. https:\/\/doi.org\/10.1109\/EITEC.2018.00006","DOI":"10.1109\/EITEC.2018.00006"},{"key":"424_CR33","doi-asserted-by":"publisher","unstructured":"Schlingloff B, Stubert H, Jamroga W (2016) Collaborative embedded systems\u2014a case study. In: 3rd international workshop on emerging ideas and trends in engineering of cyber\u2013physical systems, EITEC@CPSWeek, pp 17\u201322. https:\/\/doi.org\/10.1109\/EITEC.2016.7503691","DOI":"10.1109\/EITEC.2016.7503691"},{"key":"424_CR34","doi-asserted-by":"crossref","unstructured":"Schlingloff BH, Stubert H, Jamroga W (2016) Collaborative embedded systems\u2014a case study. In: 2016 3rd international workshop on Emerging ideas and trends in engineering of cyber\u2013physical systems (EITEC), pp 17\u201322. IEEE","DOI":"10.1109\/EITEC.2016.7503691"},{"issue":"2","key":"424_CR35","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1016\/S1571-0661(05)82604-0","volume":"85","author":"PY Schobbens","year":"2004","unstructured":"Schobbens PY (2004) Alternating-time logic with imperfect recall. Electron Notes Theor Computer Sci 85(2):82\u201393","journal-title":"Electron Notes Theor Computer Sci"},{"key":"424_CR36","volume-title":"Multiagent systems\u2014algorithmic, game-theoretic, and logical foundations","author":"Y Shoham","year":"2009","unstructured":"Shoham Y, Leyton-Brown K (2009) Multiagent systems\u2014algorithmic, game-theoretic, and logical foundations. Cambridge University Press, Cambridge"},{"key":"424_CR37","doi-asserted-by":"crossref","unstructured":"van\u00a0der Hoek W, Lomuscio A, Wooldridge M (2006) On the complexity of practical ATL model checking. In: Proceedings of international joint conference on autonomous agents and multiagent systems (AAMAS), pp 201\u2013208. ACM","DOI":"10.1145\/1160633.1160665"},{"key":"424_CR38","unstructured":"van\u00a0der Meyden R (2017) Optimizing epistemic model checking using conditional independence. In: Proceedings of theoretical aspects of rationality and knowledge, pp 398\u2013414"},{"key":"424_CR39","series-title":"A modern approach to distributed artificial intelligence","volume-title":"Multiagent systems","year":"1999","unstructured":"Weiss G (ed) (1999) Multiagent systems. A modern approach to distributed artificial intelligence. MIT Press, Cambridge"},{"key":"424_CR40","volume-title":"An introduction to multi agent systems","author":"M Wooldridge","year":"2002","unstructured":"Wooldridge M (2002) An introduction to multi agent systems. Wiley, Amsterdam"}],"container-title":["SICS Software-Intensive Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-019-00424-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00450-019-00424-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-019-00424-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,7]],"date-time":"2022-10-07T20:00:12Z","timestamp":1665172812000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00450-019-00424-7"}},"subtitle":["Specification and verification of collaborative embedded systems using strategic logics"],"short-title":[],"issued":{"date-parts":[[2019,12]]},"references-count":40,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["424"],"URL":"https:\/\/doi.org\/10.1007\/s00450-019-00424-7","relation":{},"ISSN":["2524-8510","2524-8529"],"issn-type":[{"value":"2524-8510","type":"print"},{"value":"2524-8529","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,12]]},"assertion":[{"value":"5 December 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}