Distributed Markov Chains

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…