MCMAS: A Model Checker for the Verification of Multi-Agent Systems

By Alessio R. Lomuscio, Hongyang Qu, Franco Raimondi. International Conference on Computer Aided Verification, 2009

373 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Sociology and Political Science

View Paper: https://www.semanticscholar.org/paper/8543afa03f3c8db3b3afc432d8c908ebdd70cfd9

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Alessio R. Lomuscio
2. Lalit Maganti
3. J. Kolter
4. Xiaowei Huang
5. Vincent Tjeng
6. Eric Wong
7. Kai Y. Xiao
8. Huan Zhang

Citations in the corpus

• An approach to reachability analysis for feed-forward ReLU neural networks (2017, background): “In one line efficient model checkers for finite state MAS against expressive AI-based specifications, such as those based on epistemic logic, have been developed [12, 20, 7].”