Research Article
Model Checking Temporal Logic Formulas Using Sticker Automata
Figure 3
Examples of the basic ITL formulas and their models.
(a) From the perspective of path L and model M: they satisfy |
(b) From the perspective of path L and model M: they satisfy |