About the Authors

Romain Ferrand

Roles Conceptualization, Formal analysis, Investigation, Methodology, Software, Visualization, Writing – original draft

romain.ferrand@igi.tugraz.at

Affiliation Institute of Theoretical Computer Science, Graz University of Technology, Graz, Austria

Maximilian Baronig

Roles Formal analysis, Writing – original draft, Writing – review & editing

Affiliation Institute of Theoretical Computer Science, Graz University of Technology, Graz, Austria

Florian Unger

Roles Formal analysis

Affiliation Institute of Theoretical Computer Science, Graz University of Technology, Graz, Austria

Robert Legenstein

Roles Conceptualization, Funding acquisition, Project administration, Resources, Supervision, Writing – original draft, Writing – review & editing

Affiliation Institute of Theoretical Computer Science, Graz University of Technology, Graz, Austria

Competing Interests

The authors have declared that no competing interests exist.