Simulation Problems Over One-Counter Nets.

Piotr Hofman Slawomir Lasota Richard Mayr Patrick Totzke

Published in: Log. Methods Comput. Sci. (2016)

Keyphrases

main problems
real time
bayesian networks
benchmark problems
problems involving
databases
learning algorithm
social networks
computer vision
information systems
image processing
computational complexity
optimization problems
application domains
numerical simulations