State Event Models for the Formal Analysis of Human-Machine Interactions

TitleState Event Models for the Formal Analysis of Human-Machine Interactions
Publication TypeConference Paper
Year of Publication2014
AuthorsCombéfis, S, Giannakopoulou D, Pecheur C
EditorEric G. Mercer, Michael A. Goodrich, NREB
Conference NameProceedings of AAAI Symposium on Formal Verification in Human-Machine Systems
PublisherAAAI
URLhttp://lvl.info.ucl.ac.be/Publications/StateEventModelsForTheFormalAnalysisOfHuman-MachineInteractions