Analog assertion-based verification on partial state space representations using ASL.
Sebastian SteinhorstLars HedrichPublished in: FDL (2012)
Keyphrases
- state space
- heuristic search
- reinforcement learning
- markov decision processes
- state variables
- markov chain
- dynamic programming
- model checking
- optimal policy
- planning problems
- particle filter
- stochastic domains
- american sign language
- markov decision process
- face verification
- search space
- dynamical systems
- belief state
- reinforcement learning algorithms
- neural network
- action space
- analog circuits
- human computer interaction
- analog vlsi