© 1996-2021







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.







2021-04-09
Contact | Home | ITL home | Course | Proofs | Algebra | FL