Login / Signup

Ensuring Reliable Robot Task Performance through Probabilistic Rare-Event Verification and Synthesis.

Guy ScherSadra SadraddiniAriel YadinHadas Kress-Gazit
Published in: CoRR (2023)
Keyphrases
  • rare events
  • importance sampling
  • probabilistic model
  • fraud detection
  • generative model
  • bayesian networks
  • posterior probability
  • machine learning
  • social networks
  • graphical models
  • buffer overflow