CIG meeting Person/Speaker: Wojtek Jamroga
Place: Am Regenbogen 15, CLZDuring our regular CIG meeting Wojtek started to present some results on model checking of ATL formulas for agents with incomplete information and imperfect memory (w.r.t history). A good discussion resulted from this trigger...