Invited talk @ IST Austria, Vienna

I gave a talk at IST Austria on our recent work on the monitoring of decentralized specifications and its application to monitoring smart homes.

Thank you IST Austria for the nice welcome and to Tom Henziger and Guy Avni for the invitation.