© 1996-2019







1 Finite Interval Temporal Logic

The key notion of ITL is an interval. An interval σ is considered to be a finite sequence of states σ0σk.







2019-05-10
Contact | Home | ITL home | Course | Proofs | Algebra | FL