The General Vector Addition System Reachability Problem by Presburger Inductive Invariants

Jérôme Leroux

Published in: Log. Methods Comput. Sci. (2010)

Keyphrases

special case
closely related
inductive learning
real time
data sets
data mining
artificial intelligence
website
image segmentation
multi agent
sparse matrix