TY - RPRT TI - Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court AU - Susmoy Das AU - Arpit Sharma PY - 2023 UR - https://arxiv.org/abs/2311.05177 ID - 2311.05177 ER -