MCMAS swMATH ID: 9463 Software Authors: Alessio Lomuscio, Hongyang Qu, Franco Raimondi Description: MCMAS: A Model Checker for the Verification of Multi-Agent Systems. While temporal logic in its various forms has proven essential to reason about reactive systems, agent-based scenarios are typically specified by considering high-level agents attitudes. In particular, specification languages based on epistemic logic [7], or logics for knowledge, have proven useful in a variety of areas including robotics, security protocols, web-services, etc. For example, security specifications involving anonymity [4] are known to be naturally expressible in epistemic formalisms as they explicitly state the lack of different kinds of knowledge of the principals. Homepage: http://link.springer.com/chapter/10.1007/978-3-642-02658-4_55 Related Software: MCMAS-SLK; MCK; MOCHA; VerICS; PRISM; SPIN; PRISM-games; EAGLE; NuSMV; CUDD; EVE; PRALINE; GIST; Uppaal; AgentSpeak; GOLOG; GitHub; SMCDEL; Maude; jMocha Cited in: 81 Publications all top 5 Cited by 127 Authors 11 Lomuscio, Alessio 9 Murano, Aniello 7 Jamroga, Wojciech 6 Bozzelli, Laura 6 Molinari, Alberto 6 Montanari, Angelo 6 Peron, Adriano 5 Belardinelli, Francesco 5 Chen, Taolue 5 Gutierrez, Julian 5 Kwiatkowska, Marta Z. 5 Perelli, Giuseppe 5 Raimondi, Franco 5 Wooldridge, Michael J. 4 Alechina, Natasha 4 Malvone, Vadim 4 Mogavero, Fabio 4 Penczek, Wojciech 4 Qu, Hongyang 4 Sala, Pietro 4 Simaitis, Aistis 3 Forejt, Vojtěch 3 Logan, Brian 3 Rubin, Sasha 3 Sorrentino, Loredana 3 Su, Kaile 3 van der Meyden, Ron 2 Cohen, Mika 2 De Giacomo, Giuseppe 2 Dennis, Louise Abigail 2 Dima, Cătălin 2 Gammie, Peter 2 Harrenstein, Paul 2 Knapik, Michal Jozef 2 Kurpiewski, Damian 2 Lespérance, Yves 2 Luo, Xiangyu 2 Markey, Nicolas 2 Pardo, Raúl 2 Patrizi, Fabio 2 Primiero, Giuseppe 2 Schneider, Gerardo 2 Vardi, Moshe Ya’akov 2 Webster, Matt 2 Zbrzezny, Andrzej 1 Aminof, Benjamin 1 Balliu, Musard 1 Bednarczyk, Marek A. 1 Benevides, Mario R. F. 1 Bentahar, Jamal 1 Bolander, Thomas 1 Boureanu, Ioana 1 Bouyer, Patricia 1 Busard, Simon 1 Čermák, Petr 1 Charrier, Tristan 1 Chen, Aixiang 1 Chen, Qingliang 1 Choi, Jiyoung 1 Condurache, Rodica 1 Dam, Mads 1 D’Asaro, Fabio Aurelio 1 Dechesne, Francien 1 Demri, Stéphane P. 1 Dix, Jurgen 1 Dssouli, Rachida 1 Duan, Zhenhua 1 El-Menshawy, Mohamed 1 Enea, Constantin 1 Engelhardt, Kai 1 Ezekiel, Jonathan 1 Galimullin, Rustam 1 Gardy, Patrick 1 Gattinger, Malvin 1 Gu, Ming 1 Guelev, Dimitar P. 1 Huang, Chung-Hao 1 Huang, Xiaowei 1 Kim, Seungkeun 1 Konikowska, Beata 1 Kouvaros, Panagiotis 1 Laroussinie, François 1 Lorini, Emiliano 1 Luo, Cheng 1 Machado, Vitor 1 Martí-Oliet, Narciso 1 Mikulski, Łukasz 1 Najib, Muhammad 1 Nguyen Hoang Nga 1 Nguyen, Hoang Nga 1 Norman, Gethin 1 Parente, Mimmo 1 Patra, Manas K. 1 Pecheur, Charles 1 Pilecki, Jerzy 1 Pinchinat, Sophie 1 Pirovano, Edoardo 1 Pita, Isabel 1 Rakib, Abdur 1 Rubio, Rubén ...and 27 more Authors all top 5 Cited in 21 Serials 11 Information and Computation 10 Artificial Intelligence 3 Studia Logica 3 Theoretical Computer Science 2 Formal Methods in System Design 2 Journal of Applied Non-Classical Logics 2 Fundamenta Informaticae 2 Logical Methods in Computer Science 2 Journal of Logical and Algebraic Methods in Programming 1 Acta Informatica 1 Journal of Computer and System Sciences 1 Synthese 1 Annals of Pure and Applied Logic 1 Journal of Logic and Computation 1 Journal of Logic, Language and Information 1 The Journal of Artificial Intelligence Research (JAIR) 1 Annals of Mathematics and Artificial Intelligence 1 Theory of Computing Systems 1 ACM Transactions on Computational Logic 1 Frontiers of Computer Science 1 International Journal of Systems Science. Principles and Applications of Systems and Integration all top 5 Cited in 7 Fields 80 Computer science (68-XX) 46 Mathematical logic and foundations (03-XX) 21 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Information and communication theory, circuits (94-XX) 2 Systems theory; control (93-XX) 1 Probability theory and stochastic processes (60-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year