Temporal Logic with Fixed Points.
Behnam BanieqbalHoward BarringerPublished in: Temporal Logic in Specification (1987)
Keyphrases
- temporal logic
- fixed point
- model checking
- modal logic
- sufficient conditions
- temporal difference learning
- linear logic
- approximate value iteration
- dynamical systems
- belief propagation
- belief revision
- mazurkiewicz traces
- policy iteration
- transition systems
- linear temporal logic
- free energy
- probabilistic model
- asymptotic properties
- verification method
- message passing
- reactive systems
- parameter estimation
- graphical models