Affine Extensions of Integer Vector Addition Systems with States.

Michael Blondin Christoph Haase Filip Mazowiecki

Published in: CONCUR (2018)

Keyphrases

real world
intelligent systems
real time
bayesian networks
distributed systems
machine learning
computer vision
complex systems
state information