Decidability of boundedness problems for Minsky counter machines.

E. V. Kuzmin D. Ju. Chalyy

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

Keyphrases

solving problems
multi agent
optimization problems
decision problems
benchmark problems
website
special case
sufficient conditions
np complete
combinatorial optimization