Rigorous verification of Hopf bifurcations via desingularization and continuation.

Jan Bouwe van den Berg Jean-Philippe Lessard Elena Queirolo

Published in: CoRR (2020)

Keyphrases

model checking
verification method
multimedia
video sequences
special case
face verification
database
neural network
feature selection
digital libraries
digital images
formal methods
fingerprint verification
concurrent systems