Optimal task automaton decomposabilization for a class of global specifications.

Mohammad Karimadini Hai Lin

Published in: ICCA (2010)

Keyphrases

worst case
dynamic programming
image sequences
optimal control
class dependent
real time
feature selection
np hard
formal specification
optimal strategy
optimal design
finite automata
globally consistent
neighboring points