Automated Verification of Timed Transition Models.

Jonathan S. Ostroff

Published in: Automatic Verification Methods for Finite State Systems (1989)

Keyphrases

automated verification
database
accurate models
prior knowledge
complex systems
model checking
machine learning
artificial intelligence
reinforcement learning
probabilistic model
statistical model
experimental data
statistical models
statistical methods