Login / Signup

Verifying Asymptotic Temporal Properties of Continuous-State Probabilistic Systems.

Natsuki UrabeRupak Majumdar
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2021)
Keyphrases
  • temporal properties
  • model checking
  • continuous state
  • bayesian networks
  • formal methods
  • machine learning
  • hidden markov models