About the Authors

Jakub Svoboda

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

Affiliation IST Austria, Klosterneuburg, Austria

Soham Joshi

Roles Formal analysis, Investigation, Writing – original draft

Affiliation IST Austria, Klosterneuburg, Austria

Josef Tkadlec

Roles Conceptualization, Formal analysis, Funding acquisition, Software, Supervision, Validation, Writing – original draft, Writing – review & editing

Affiliation Computer Science Institute, Charles University, Prague, Czech Republic

Krishnendu Chatterjee

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

krishnendu.chatterjee@ist.ac.at

Affiliation IST Austria, Klosterneuburg, Austria

Competing Interests

The authors have declared that no competing interests exist.