1. Capturing an area-covering robot

   • Roi Yehoshua
   • Noa Agmon

   OriginalPaper 09 January 2018 Pages: 313 - 348

   

2. Type checking for protocol role enactments via commitments

   • Matteo Baldoni
   • Cristina Baroglio
   • Roberto Micalizio

   OriginalPaper 31 January 2018 Pages: 349 - 386

   

3. Spice: a cognitive agent framework for computational crowd simulations in complex environments

   • Peter M. Kielar
   • André Borrmann

   OriginalPaper 16 February 2018 Pages: 387 - 416