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

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

1 2 3 4 5 next

  1. Belardinelli, Francesco; Lomuscio, Alessio; Malvone, Vadim; Yu, Emily: Approximating perfect recall when model checking strategic abilities: theory and applications (2022)
  2. Lomuscio, Alessio; Pirovano, Edoardo: A counter abstraction technique for verifying properties of probabilistic swarm systems (2022)
  3. Alechina, Natasha; van Ditmarsch, Hans; Galimullin, Rustam; Wang, Tuo: Verification and strategy synthesis for coalition announcement logic (2021)
  4. Belardinelli, Francesco; Condurache, Rodica; Dima, Cătălin; Jamroga, Wojciech; Knapik, Michal: Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol (2021)
  5. Belardinelli, Francesco; Demri, Stéphane: Strategic reasoning with a bounded number of resources: the quest for tractability (2021)
  6. Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto: Strategies, model checking and branching-time properties in Maude (2021)
  7. Belardinelli, Francesco; Lomuscio, Alessio; Murano, Aniello; Rubin, Sasha: Verification of multi-agent systems with public actions against strategy logic (2020)
  8. Bolander, Thomas; Charrier, Tristan; Pinchinat, Sophie; Schwarzentruber, François: DEL-based epistemic planning: decidability and complexity (2020)
  9. Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano: Model checking interval temporal logics with regular expressions (2020)
  10. Bozzelli, Laura; Murano, Aniello; Sorrentino, Loredana: Alternating-time temporal logics with linear past (2020)
  11. Gardy, Patrick; Bouyer, Patricia; Markey, Nicolas: Dependences in strategy logic (2020)
  12. Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael: Automated temporal equilibrium analysis: verification and synthesis of multi-player games (2020)
  13. Jamroga, Wojciech; Konikowska, Beata; Kurpiewski, Damian; Penczek, Wojciech: Multi-valued verification of strategic ability (2020)
  14. Lorini, Emiliano: Rethinking epistemic logic with belief bases (2020)
  15. Machado, Vitor; Benevides, Mario: Populational announcement logic (PPAL) (2020)
  16. Murano, Aniello; Parente, Mimmo; Rubin, Sasha; Sorrentino, Loredana: Model-checking graded computation-tree logic with finite path semantics (2020)
  17. Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro: Which fragments of the interval temporal logic HS are tractable in model checking? (2019)
  18. Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael: Nash equilibrium and bisimulation invariance (2019)
  19. Jamroga, Wojciech; Knapik, Michał; Kurpiewski, Damian; Mikulski, Łukasz: Approximate verification of strategic abilities under imperfect information (2019)
  20. Jamroga, Wojciech; Malvone, Vadim; Murano, Aniello: Natural strategic ability (2019)

1 2 3 4 5 next