**Contact:** info@salmatoolkit.org

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.