Unboundedness Problems for Languages of Vector Addition Systems.

Wojciech Czerwinski Piotr Hofman Georg Zetzsche

Published in: ICALP (2018)

Keyphrases

problems involving
linear systems
management system
technical issues
neural network
optimization problems
distributed systems
intelligent systems
computer systems
machine learning
similarity measure
knowledge based systems
question answering
decision problems