Verification of Switched Stochastic Systems via Barrier Certificates.

Mahathi Anand Pushpak Jagtap Majid Zamani

Published in: CoRR (2021)

Keyphrases

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