21 citations · 65 across the 31 of their papers we have counts for
1 paper · 2 filters
Negin Musavi, Dawei Sun, Sayan Mitra +2
We present an algorithm for formal verification and parameter synthesis of continuous state-space Markov chains. This class of problems captures the design and analysis of a wide v…