• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Borrowable Fractional Ownership Types for Verification.

Takashi NakayamaYusuke MatsushitaKen SakayoriRyosuke SatoNaoki Kobayashi
Published in: VMCAI (2) (2024)
Keyphrases
  • artificial intelligence
  • databases
  • neural network
  • computer vision
  • video sequences
  • computational complexity
  • model checking
  • formal verification