A Temporal Logic for Modelling Activities of Daily Living.

Malte S. Klie, Catholijn M. Jonker, M. Birna van Riemsdijk

Browse the full TIME paper archive.