Reachability in Two-Dimensional Vector Addition Systems with States: One Test Is for Free.

Jérôme Leroux Grégoire Sutre

Published in: CONCUR (2020)

Keyphrases

management system
complex systems
information systems
building blocks
decision making
multi dimensional
intelligent systems
databases
machine learning
website
multiscale
expert systems
markov chain
computer systems
power system