52 citations · 267 across the 47 of their papers we have counts for
1 paper · 2 filters
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…