Reachability in Timed Counter Systems.

Florent Bouchy Alain Finkel Arnaud Sangnier

Published in: INFINITY (2009)

Keyphrases

management system
machine learning
feature selection
building blocks
complex systems
computing systems
data sets
website
expert systems
mobile robot
knowledge based systems
real time systems
timed automata