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)