Login / Signup

Verifying $k$-Contraction Without Computing $k$-Compounds.

Omri DalinRon OfirEyal Bar-ShalomAlexander I. OvseevichFrancesco BulloMichael Margaliot
Published in: IEEE Trans. Autom. Control. (2024)
Keyphrases
  • machine learning
  • learning algorithm
  • artificial intelligence
  • three dimensional
  • bayesian networks
  • data management
  • model checking
  • data mining
  • computer vision
  • experimental data
  • belief revision
  • drug discovery