I.1 Overview

Overview [Slide 11]

This course will give a not so short introduction to Interval Temporal Logic (ITL)

ITL is a

• discrete, linear temporal logic
• for both finite and infinite intervals (sequences of states) which includes
• a basic construct for sequential composition and
• an analog of Kleene star (regular expressions)