A Modular Framework for Modelling and Verification of Activities in Ambient Intelligent Systems.

Alexandros Konios, Yasir Imtiaz Khan, Matias Garcia-Constantino, Irvin Hussein Lpez-Nava

Browse the full HCI paper archive.