Login / Signup

Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems.

Alessandro AbateAlec EdwardsMirco GiacobbeHashan PunchihewaDiptarko Roy
Published in: CoRR (2023)
Keyphrases
  • stochastic systems
  • neural network
  • stochastic models
  • conservation laws
  • bayesian networks
  • generative model
  • confidence intervals
  • sample path
  • probabilistic model
  • control system
  • sufficient conditions