Population Based Methods for Optimising Infinite Behaviours of Timed Automata.

Lewis Tolonen Tim French Mark Reynolds

Published in: TIME (2018)

Keyphrases

preprocessing
feature selection
natural language
empirical studies
benchmark datasets
computationally expensive
statistical methods
database
computer vision
significant improvement
classification method