Login / Signup
Data-driven verification and synthesis of stochastic systems through barrier certificates.
Ali Salamati
Abolfazl Lavaei
Sadegh Soudjani
Majid Zamani
Published in:
CoRR (2021)
Keyphrases
</>
stochastic systems
data driven
stochastic models
conservation laws
confidence intervals
model checking
sample path
bayesian networks
dynamic programming
markov chain
stochastic model