@Inproceedings{kroiss2014amsta,
   status = {public},
   task = {T1.1, T5.1, T5.2},
   doi = {10.1007/978-3-319-07650-8_16},
   booktitle = {8th International Conference on Agent and Multi-Agent Systems: Technologies and Applications (KES-AMSTA 2014)},
   year = {2014},
   isbn = {978-3-319-07649-2},
   invited = {no},
   main = {no},
   url = {http://link.springer.com/chapter/10.1007%2F978-3-319-07650-8_16},
   title = {{Simulation and Statistical Model Checking of Logic-Based Multi-Agent System Models}},
   author = {Christian Kroiß},
   period = {year4},
   keyword = {statistical model checking; multi agent systems; situation calculus; discrete event simulation},
   partner = {LMU},
   wp = {WP1, WP5},
   pages = {151-160}
}