Simulation and Analysis of Logic-based Multi-Agent System Models

The source code for the SALMA toolkit, including some examples, can be retrieved from GitHub: https://github.com/salmatoolkit/salma

Publications

C. Kroiß, "A statistical model checker for situation calculus based multiagent models (extended abstract)," in 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014), 2014, pp. 1567-1568.

C. Kroiß, "Simulation and statistical model checking of logic-based multi-agent system models," in 8th International Conference on Agent and Multi-Agent Systems: Technologies and Applications (KES-AMSTA 2014), 2014, pp. 151-160.