Formal Methods for an Iterated Volunteer’s Dilemma

Published in International Conference on Social Computing, Behavioral-Cultural Modeling and Prediction and Behavior Representation in Modeling and Simulation, 2021