Verification of Plan Models Using UPPAAL.

Lina Khatib Nicola Muscettola Klaus Havelund

Published in: FAABS (2000)

Keyphrases

model checking
statistical model
database systems
databases
neural network
face recognition
probabilistic model
model selection
verification method