Bounded Invariant Checking for Stateflow.

Predrag Filipovikj Gustav Ung Dilian Gurov Mattias Nyberg

Published in: FMAS/ASYDE@SEFM (2022)

Keyphrases

affine transformation
real time
affine invariant
noise resistant
learning algorithm
image processing
hidden markov models
np hard
invariant features
moment invariants
asymptotically optimal
fourier domain
invariant representations