PSL Assertion Checking Using Temporally Extended High-Level Decision Diagrams.
Maksim JenihhinJaan RaikAnton ChepurovRaimund UbarPublished in: J. Electron. Test. (2009)
Keyphrases
- temporally extended
- decision diagrams
- high level
- decision theoretic planning
- markov decision processes
- qualitative simulation
- temporal logic
- planning problems
- classical planning
- multi valued
- digital circuits
- efficient computation
- binary decision diagrams
- temporal aspects
- constraint satisfaction problems
- model checking
- reinforcement learning
- state space
- heuristic search
- multi dimensional
- compressed data
- database systems
- image sequences
- domain specific
- computational efficiency
- optimal policy