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

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

1 2 3 4 next

  1. Murano, Aniello; Parente, Mimmo; Rubin, Sasha; Sorrentino, Loredana: Model-checking graded computation-tree logic with finite path semantics (2020)
  2. Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro: Which fragments of the interval temporal logic HS are tractable in model checking? (2019)
  3. Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael: Nash equilibrium and bisimulation invariance (2019)
  4. Jamroga, Wojciech; Knapik, Michał; Kurpiewski, Damian; Mikulski, Łukasz: Approximate verification of strategic abilities under imperfect information (2019)
  5. Jamroga, Wojciech; Malvone, Vadim; Murano, Aniello: Natural strategic ability (2019)
  6. Aminof, Benjamin; Malvone, Vadim; Murano, Aniello; Rubin, Sasha: Graded modalities in strategy logic (2018)
  7. 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)
  8. Čermák, Petr; Lomuscio, Alessio; Mogavero, Fabio; Murano, Aniello: Practical verification of multi-agent systems against \textscSlkspecifications (2018)
  9. Dennis, Louise A.; Fisher, Michael; Webster, Matt: Two-stage agent program verification (2018)
  10. Gutierrez, Julian; Perelli, Giuseppe; Wooldridge, Michael: Imperfect information in reactive modules games (2018)
  11. Malvone, Vadim; Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana: Reasoning about graded strategy quantifiers (2018)
  12. Molinari, Alberto; Montanari, Angelo; Peron, Adriano: Model checking for fragments of Halpern and Shoham’s interval temporal logic based on track representatives (2018)
  13. Alechina, Natasha; Logan, Brian; Nguyen, Hoang Nga; Raimondi, Franco: Model-checking for resource-bounded ATL with production and consumption of resources (2017)
  14. Ezekiel, J.; Lomuscio, A.: Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems (2017)
  15. Gutierrez, Julian; Harrenstein, Paul; Wooldridge, Michael: Reasoning about equilibria in game-like concurrent systems (2017)
  16. Huang, Chung-Hao; Schewe, Sven; Wang, Farn: Model-checking iterated games (2017)
  17. Lomuscio, Alessio: Advances in verification of multi-agent systems (2017)
  18. Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.: Reasoning about strategies: on the satisfiability problem (2017)
  19. Pardo, Raúl; Balliu, Musard; Schneider, Gerardo: Formalising privacy policies in social networks (2017)
  20. Alechina, Natasha; Logan, Brian: Verifying systems of resource-bounded agents (2016)

1 2 3 4 next