|
[DHB21]
Jacob Dineen, A. S. M. Ahsan-Ul Haque and Matthew Bielskas.
Formal Methods for an Iterated Volunteer’s Dilemma.
In Proc. International Conference on Social Computing, Behavioral-Cultural Modeling and Prediction and Behavior Representation in Modeling and Simulation (SBP-BRiMS'21).
2021.
[Performs a formal analysis of the iterated volunteer’s dilemma using PRISM-games.]
|
|
Links:
[Google]
[Google Scholar]
|