Verification of Switched Stochastic Systems via Barrier Certificates.

Mahathi Anand Pushpak Jagtap Majid Zamani

Published in: CDC (2019)

Keyphrases

stochastic systems
stochastic models
conservation laws
confidence intervals
sample path
model checking
public key
markov chain