Hybrid Verification Using Saturated Simulation.
Adnan AzizJames H. KukulaThomas R. ShiplePublished in: DAC (1998)
Keyphrases
- simulation model
- simulation models
- model checking
- hybrid approaches
- social networks
- discrete event simulation
- simulation software
- simulation environment
- face verification
- mathematical models
- mathematical model
- probabilistic model
- mobile robot
- evolutionary algorithm
- data structure
- bayesian networks
- three dimensional