I gave a talk at IST Austria on our recent work on the monitoring of decentralized specifications and its application to the monitoring of smart homes.
Thank you IST Austria for the nice welcome and to Tom Henziger and Guy Avni for the invitation.
Handout of the slides can be downloaded here.