Finding Minimum and Maximum Termination Time of Timed Automata Models with Cyclic Behaviour.

Omar I. Al-Bataineh Mark Reynolds Tim French

Published in: CoRR (2016)

Keyphrases

timed automata
probabilistic model
statistical models
data sets
machine learning
complex systems
experimental data
social networks
lower bound
distributed systems
model selection