Login / Signup

Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors.

Ivan RuchkinOleg SokolskyJames WeimerTushar HedaooInsup Lee
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2020)
Keyphrases
  • temporal properties
  • probabilistic model
  • bayesian networks
  • object detection
  • general purpose
  • building blocks
  • model checking
  • uncertain data