© 1996-2018

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)

Contact | Home | ITL home | Course | Proofs | Algebra | FL