4 citations · 10 across the 11 of their papers we have counts for
1 paper · 1 filter
Sumit Kumar Jha, Madhavan Mukund, Ratul Saha +1
The formal verification of large probabilistic models is important and challenging. Exploiting the concurrency that is often present is one way to address this problem. Here we stu…