A Tutorial on Uppaal.

Gerd Behrmann Alexandre David Kim Guldstrand Larsen

Published in: SFM (2004)

Keyphrases

model checking
controller synthesis
real time
genetic algorithm
feature selection
multimedia
artificial intelligence
image processing
case study
multi agent
probabilistic model
control scheme
model checker
fundamental principles
computer based training