Sign in

k-Inductive Barrier Certificates for Stochastic Systems.

Mahathi AnandVishnu MuraliAshutosh TrivediMajid Zamani
Published in: HSCC (2022)
Keyphrases
  • stochastic systems
  • stochastic models
  • conservation laws
  • confidence intervals
  • machine learning
  • sample path
  • inductive inference
  • training data
  • chaotic systems