Undecidable Problems About Timed Automata

Published in: CoRR (2007)

Keyphrases

np complete
optimization problems
benchmark problems
data sets
data mining
artificial intelligence
optimal solution
lower bound
expert systems
multi objective
low cost
model checking
timed automata