How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property?

Radu Iosif Arnaud Sangnier

Published in: ATVA (2016)

Keyphrases

learning systems
databases
information retrieval
multi agent systems
retrieval systems
affine invariant
artificial intelligence
image processing
database systems
multiscale