Coverability Is Undecidable in One-Dimensional Pushdown Vector Addition Systems with Resets.

Sylvain Schmitz Georg Zetzsche

Published in: RP (2019)

Keyphrases

sufficient conditions
complex systems
feature vectors
computational intelligence
multi dimensional
computing systems
neural network
multi agent
computational complexity
mobile robot
management system
computer systems
knowledge based systems