Login / Signup
On simulation methods for timed automata.
Václav Kaczmarczyk
Zdenek Bradác
Michal Sír
Published in:
PDeS (2010)
Keyphrases
</>
benchmark datasets
computational cost
qualitative and quantitative
feature space
significant improvement
machine learning methods
neural network
computer vision
probability distribution
software development