Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court

Susmoy Das, Arpit Sharma

The Supreme Court plays an extremely critical role in ensuring adherence to the rule of law and in strengthening the democracy. Due to this reason, modeling and analysis of small g…