Login / Signup
Malte S. Kliess
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Daily Activities
Dynamic Constraints
Temporal Logic
Bounded Model Checking
Top Venues
CARe-MAS@PRIMA
</>
Publications
</>
Malte S. Kliess
,
M. Birna van Riemsdijk
Requirements for a Temporal Logic of Daily Activities for Supportive Technology.
CARe-MAS@PRIMA
(2017)