Transforming RoboSim Models into UPPAAL.

Mingzhuo Zhang Dehui Du Augusto Sampaio Ana Cavalcanti Madiel Conserva Filho Menghan Zhang

Published in: TASE (2021)

Keyphrases

statistical models
genetic algorithm
process model
real time
databases
neural network
information systems
e learning
knowledge base
decision trees
training data
prior knowledge
probabilistic model
model selection
parameter estimation
experimental data