SAT-Based Verification without State Space Traversal.
Per BjesseKoen ClaessenPublished in: FMCAD (2000)
Keyphrases
- state space
- bounded model checking
- planning problems
- formal verification
- model checking
- classical planning
- dynamic programming
- heuristic search
- state variables
- reinforcement learning
- optimal policy
- markov decision processes
- orders of magnitude
- data structure
- dynamical systems
- temporal logic
- face verification
- markov chain
- answer set programming
- tree structure
- asynchronous circuits
- particle filter
- continuous time markov process
- search space
- stochastic domains
- boolean satisfiability
- partially observable
- reinforcement learning algorithms
- planning domains
- signature verification
- action space
- version space
- verification method
- linear temporal logic