III.6 Summary
Summary [Slide 102]
- An ITL formula contains propositional variables, Boolean operators and
temporal operators.
- The semantics (meaning) of an ITL formula is defined with respect to
an interval (non-empty sequence of states).
- One can define the satisfiability and validity of an ITL formula.