On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension.

Jérôme Leroux Grégoire Sutre Patrick Totzke

Published in: ICALP (2) (2015)

Keyphrases

machine learning
knowledge based systems
complex systems
vector space
real time
image processing
multiscale
expert systems
information technology
evolutionary algorithm
probabilistic model
multi dimensional
distributed systems