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 23 articles )

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

1 2 next

  1. Chen, Taolue; Primiero, Giuseppe; Raimondi, Franco; Rungta, Neha: A computationally grounded, weighted doxastic logic (2016)
  2. De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio: Bounded situation calculus action theories (2016)
  3. De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio; Vassos, Stavros: Progression and verification of situation calculus agents with bounded beliefs (2016)
  4. Kouvaros, Panagiotis; Lomuscio, Alessio: Parameterised verification for multi-agent systems (2016)
  5. Woźna-Szcześniak, Bożena; Zbrzezny, Andrzej: Checking EMTLK properties of timed interpreted systems via bounded model checking (2016)
  6. Busard, Simon; Pecheur, Charles; Qu, Hongyang; Raimondi, Franco: Reasoning about memoryless strategies under partial observability and unconditional fairness constraints (2015)
  7. Choi, Jiyoung; Kim, Seungkeun; Tsourdos, Antonios: Verification of heterogeneous multi-agent system using MCMAS (2015)
  8. Wang, Haiyang; Duan, Zhenhua; Tian, Cong: Symbolic model checking for alternating projection temporal logic (2015)
  9. Pilecki, Jerzy; Bednarczyk, Marek A.; Jamroga, Wojciech: Synthesis and verification of uniform strategies for multi-agent systems (2014)
  10. Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis: PRISM-games: a model checker for stochastic multi-player games (2013)
  11. Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis: Automatic verification of competitive stochastic systems (2013)
  12. Dennis, Louise A.; Fisher, Michael; Webster, Matt: Using agent JPF to build models for other model checkers (2013)
  13. Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis: Automatic verification of competitive stochastic systems (2012)
  14. Lomuscio, Alessio; Penczek, Wojciech: Symbolic model checking for temporal-epistemic logic (2012)
  15. Saffidine, Abdallah: Minimal proof search for modal logic K model checking (2012)
  16. Dix, Jürgen; Fisher, Michael: Where logic and agents meet (2011)
  17. El-Menshawy, Mohamed; Bentahar, Jamal; Dssouli, Rachida: Symbolic model checking commitment protocols using reduction (2011)
  18. Lomuscio, Alessio; Qu, Hongyang; Russo, Francesco: Automatic data-abstraction in model checking multi-agent systems (2011)
  19. Dechesne, Francien; Wang, Yanjing: To know or not to know: Epistemic approaches to security protocol verification (2010)
  20. Alechina, Natasha; Logan, Brian; Nga, Nguyen Hoang; Rakib, Abdur: Verifying time and communication costs of rule-based reasoners (2009)

1 2 next