Sébastien Combéfis, Charles Pecheur, Dimitra Giannakopoulou. State Event Models for the Formal Analysis of Human-Machine Interactions. In 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014. AAAI Press, 2014. [doi]
Abstract is missing.