Login / Signup
Accelerating worst case execution time analysis of timed automata models with cyclic behaviour.
Omar I. Al-Bataineh
Mark Reynolds
Tim French
Published in:
Formal Aspects Comput. (2015)
Keyphrases
</>
timed automata
probabilistic model
data analysis
graphical models
experimental data
model selection
artificial intelligence
prior knowledge
case study
low cost
data sets
parameter estimation
machine learning algorithms
machine learning
empirical data
accurate models
structural models
databases