Boundedness problem for lossy counter machines.

Published in: Autom. Control. Comput. Sci. (2010)

Keyphrases

sufficient conditions
case study
pattern matching
data compression
flowshop
real time
data sets
search algorithm
mobile robot