Login / Signup

UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis.

Elizabeth PolgreenKevin CheangPranav GaddamaduguAdwait GodboleKevin LaeuferShaokai LinYatin A. ManerkarFederico MoraSanjit A. Seshia
Published in: CAV (1) (2022)
Keyphrases
  • multi modal
  • multi modality
  • high dimensional
  • cross modal
  • audio visual
  • formal methods
  • model checking
  • humanoid robot
  • fusing multiple
  • uni modal
  • machine learning
  • computer vision
  • video sequences