Propositional Dynamic Logic with Fixed Points: Algorithmic Tools for Verification of Finite State Machines.
Nikolay V. ShilovPublished in: LFCS (1992)
Keyphrases
- fixed point
- finite state machines
- model checking
- propositional dynamic logic
- finite state automata
- temporal logic
- dynamical systems
- approximate value iteration
- linear logic
- sufficient conditions
- temporal difference learning
- asymptotic properties
- free energy
- default logic
- competitive learning
- neural network
- building blocks
- pairwise
- machine learning