ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT.

Eduard Paul Enoiu Raluca Marinescu Cristina Cerschi Seceleanu Paul Pettersson

Published in: ICECCS (2012)

Keyphrases

model checking
statistical models
artificial intelligence
user friendly
model checker
decision trees
prior knowledge
probabilistic model
model selection
parameter estimation
statistical model
experimental data