TY  - RPRT
TI  - Formal Methods for An Iterated Volunteer's Dilemma
AU  - Jacob Dineen
AU  - A S M Ahsan-Ul Haque
AU  - Matthew Bielskas
PY  - 2025
DO  - 10.1007/978-3-030-80387-2_8
UR  - https://arxiv.org/abs/2008.12846
ID  - 2008.12846
ER  -