https://orcid.org/0000-0001-8489-2058
About the Authors
- Marc Kaufmann
-
Contributed equally to this work with: Marc Kaufmann, Ulysse Schaller
Roles Formal analysis, Investigation, Methodology, Project administration, Visualization, Writing – original draft, Writing – review & editing
Affiliation Institut für Theoretische Informatik, ETH Zürich, Zürich, Switzerland
- Ulysse Schaller
-
Contributed equally to this work with: Marc Kaufmann, Ulysse Schaller
Roles Formal analysis, Investigation, Methodology, Project administration, Visualization, Writing – original draft
Affiliation Institut für Theoretische Informatik, ETH Zürich, Zürich, Switzerland
- Thomas Bläsius
-
Roles Data curation, Formal analysis, Funding acquisition, Investigation, Methodology, Software, Supervision, Validation, Visualization, Writing – review & editing
¶‡ Shared senior authorship.
Affiliation Institut für Theoretische Informatik, Karlsruhe Institute of Technology, Karlsruhe, Germany
- Johannes Lengler
-
Roles Conceptualization, Formal analysis, Funding acquisition, Investigation, Methodology, Supervision, Visualization, Writing – review & editing
* E-mail: johannes.lengler@inf.ethz.ch
¶‡ Shared senior authorship.
Affiliation Institut für Theoretische Informatik, ETH Zürich, Zürich, Switzerland
Competing Interests
The authors have declared that no competing interests exist.