All Stories

  1. Towards a Methodology for Using EEG Motor Imagery to Control Video Games
  2. Monitoring Local and Global Properties of Collective Adaptive Systems
  3. Sibilla: A tool for reasoning about collective systems
  4. Visualisation of Collective Systems with Sequit and Sibilla
  5. SEC-GAME: A Minigame Collection for Cyber Security Awareness
  6. YODA: Yet anOther agent Description lAnguage
  7. Sibilla: A Tool for Reasoning about Collective Systems