UPPAAL - present and future.

Gerd Behrmann Kim G. Larsen Oliver Möller Alexandre David Paul Pettersson Wang Yi

Published in: CDC (2001)

Keyphrases

long term
data sets
model checking
real time
real world
learning algorithm
artificial intelligence
three dimensional
evolutionary algorithm
multiresolution
model checker