k-Inductive Barrier Certificates for Stochastic Systems.

Mahathi Anand Vishnu Murali Ashutosh Trivedi Majid Zamani

Published in: HSCC (2022)

Keyphrases

stochastic systems
stochastic models
conservation laws
confidence intervals
machine learning
sample path
inductive inference
training data
chaotic systems