Partial-State Progression for Stream Reasoning with Metric Temporal Logic.

Daniel de Leng, Fredrik Heintz

Browse the full KR paper archive.