@Inproceedings{kroiss2014aamas,
   status = {n/a},
   task = {T1.1, T5.1, T5.2},
   booktitle = {13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014)},
   year = {2014},
   invited = {n/a},
   timestamp = {2015.03.09},
   main = {n/a},
   title = {{A Statistical Model Checker for Situation Calculus Based Multi-Agent Models (Extended Abstract)}},
   author = {Christian Kroi{\ss}},
   period = {year4},
   owner = {Christian},
   partner = {LMU},
   wp = {WP1, WP5},
   pages = {1567--1568}
}