A Visual Editor to Support the Use of Temporal Logic for ADL Monitoring.

Alberto Rugnone, Francesco Poli, Enrico Vicario, Chris D. Nugent, Elena Tamburini, Cristiano Paggetti

Browse the full ICOST paper archive.