Login / Signup

Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation.

Jan Bouwe van den BergJean-Philippe LessardElena Queirolo
Published in: SIAM J. Appl. Dyn. Syst. (2021)
Keyphrases
  • model checking
  • face verification
  • data sets
  • computer vision
  • website
  • multiscale
  • multi agent
  • petri net
  • formal methods
  • signature verification
  • verification method