6 citations · 26 across the 63 of their papers we have counts for
1 paper · 1 filter
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…