From Livingstone to SMV.

Charles Pecheur Reid G. Simmons

Published in: FAABS (2000)

Keyphrases

model checking
broad coverage
model based reasoning
symbolic model checking
model based diagnosis
formal verification
natural language processing
temporal logic
partial observability
reinforcement learning
learning environment
general purpose
dynamic systems