Adaptive Verification using Forced Simulation.
Roopak SinhaPartha S. RoopBakhadyr KhoussainovPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- mathematical model
- simulation study
- simulation model
- reinforcement learning
- model checking
- databases
- asynchronous circuits
- simulation environment
- functional verification
- person identification
- simulation models
- adaptive learning
- numerical simulations
- data driven
- learning environment
- data structure
- bayesian networks
- image segmentation