BioMed Research International

Research Article

Model Checking Temporal Logic Formulas Using Sticker Automata

Figure 9

The four FSA models of the four formulas.
(a) FSA A1
(b) FSA A2
(c) FSA A3
(d) FSA A4