1 paper
Mahathi Anand, Pushpak Jagtap, Majid Zamani
The paper presents a methodology for temporal logic verification of continuous-time switched stochastic systems. Our goal is to find the lower bound on the probability that a compl…