Our ATVA paper on verification of stochastic systems using barrier certificates got accepted!

Our paper entitled "Temporal logic verification of stochastic systems using barrier certificates" got accepted at ATVA 2018.