|
CTL Formulae
CTL Formulae
- CTL = Computational Tree Logic
- Propositions refer to state variables e.g. hwy_light = red
- Propositions are the basic CTL formulae
- CTL operators: AX, AG, AU, AF, EX, EG, EU, EF
- Boolean operations: not, +, *, ->
- Any CTL operator applied to a CTL formula gives another CTL formula
- Any boolean combination of CTL formulas is a CTL formula
|