|
[DS23b]
Susmoy Das and Arpit Sharma.
Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court.
In Proc. 11th International Symposium From Data to Models and Back (DataMod'23).
2023.
[Models and analyses temporal interaction dynamics in the US Supreme Court using probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|