Login / Signup
Finding minimum and maximum termination time of timed automata models with cyclic behaviour.
Omar I. Al-Bataineh
Mark Reynolds
Tim French
Published in:
Theor. Comput. Sci. (2017)
Keyphrases
</>
timed automata
statistical models
real time
statistical model
experimental data
probabilistic model
complex systems
information systems
model checking
machine learning
expert systems
multi agent systems
artificial intelligence
computational models
mathematical models
parametric models
accurate models
data sets