About the Authors

Josef Tkadlec

Contributed equally to this work with: Josef Tkadlec, Andreas Pavlogiannis

Roles Formal analysis, Investigation, Software, Visualization, Writing – original draft, Writing – review & editing

Affiliation IST Austria, Klosterneuburg, Austria

Andreas Pavlogiannis

Contributed equally to this work with: Josef Tkadlec, Andreas Pavlogiannis

Roles Formal analysis, Investigation, Writing – original draft

Affiliation Lab for Automated Reasoning and Analysis, EPFL, Lausanne, Switzerland

Krishnendu Chatterjee

Roles Conceptualization, Funding acquisition, Investigation, Supervision, Writing – review & editing

Affiliation IST Austria, Klosterneuburg, Austria

Martin A. Nowak

Roles Conceptualization, Investigation, Supervision, Visualization, Writing – review & editing

martin_nowak@harvard.edu

Affiliation Program for Evolutionary Dynamics, Department of Organismic and Evolutionary Biology, Department of Mathematics, Harvard University, Cambridge, Massachusetts, United States of America

Competing Interests

The authors have declared that no competing interests exist.