MCMAS

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.


References in zbMATH (referenced in 41 articles )

Showing results 1 to 20 of 41.
Sorted by year (citations)

1 2 3 next

  1. Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro: Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy (2018)
  2. Čermák, Petr; Lomuscio, Alessio; Mogavero, Fabio; Murano, Aniello: Practical verification of multi-agent systems against \textscSlkspecifications (2018)
  3. Dennis, Louise A.; Fisher, Michael; Webster, Matt: Two-stage agent program verification (2018)
  4. Gutierrez, Julian; Perelli, Giuseppe; Wooldridge, Michael: Imperfect information in reactive modules games (2018)
  5. Alechina, Natasha; Logan, Brian; Nguyen, Hoang Nga; Raimondi, Franco: Model-checking for resource-bounded ATL with production and consumption of resources (2017)
  6. Ezekiel, J.; Lomuscio, A.: Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems (2017)
  7. Gutierrez, Julian; Harrenstein, Paul; Wooldridge, Michael: Reasoning about equilibria in game-like concurrent systems (2017)
  8. Pardo, Raúl; Balliu, Musard; Schneider, Gerardo: Formalising privacy policies in social networks (2017)
  9. Alechina, Natasha; Logan, Brian: Verifying systems of resource-bounded agents (2016)
  10. Belardinelli, Francesco; Lomuscio, Alessio: A three-value abstraction technique for the verification of epistemic properties in multi-agent systems (2016)
  11. Chen, Qingliang; Su, Kaile; Sattar, Abdul; Luo, Xiangyu; Chen, Aixiang: A first-order coalition logic for BDI-agents (2016)
  12. Chen, Taolue; Primiero, Giuseppe; Raimondi, Franco; Rungta, Neha: A computationally grounded, weighted doxastic logic (2016)
  13. De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio: Bounded situation calculus action theories (2016)
  14. De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio; Vassos, Stavros: Progression and verification of situation calculus agents with bounded beliefs (2016)
  15. Kouvaros, Panagiotis; Lomuscio, Alessio: Parameterised verification for multi-agent systems (2016)
  16. Woźna-Szcześniak, Bożena; Zbrzezny, Andrzej: Checking EMTLK properties of timed interpreted systems via bounded model checking (2016)
  17. Zbrzezny, Agnieszka M.; Zbrzezny, Andrzej: Verifying real-time properties of multi-agent systems via SMT-based bounded model checking (2016)
  18. Busard, Simon; Pecheur, Charles; Qu, Hongyang; Raimondi, Franco: Reasoning about memoryless strategies under partial observability and unconditional fairness constraints (2015)
  19. Choi, Jiyoung; Kim, Seungkeun; Tsourdos, Antonios: Verification of heterogeneous multi-agent system using MCMAS (2015)
  20. van Benthem, Johan; van Eijck, Jan; Gattinger, Malvin; Su, Kaile: Symbolic model checking for dynamic epistemic logic (2015)

1 2 3 next