About the Authors

Mercè Llabrés

Roles Conceptualization, Formal analysis, Funding acquisition, Investigation, Methodology, Validation, Writing – review & editing

Affiliation Department of Mathematics and Computer Science, University of the Balearic Islands, Palma de Mallorca, Spain

Gabriel Valiente

Roles Conceptualization, Data curation, Formal analysis, Investigation, Methodology, Project administration, Resources, Software, Supervision, Validation, Visualization, Writing – original draft, Writing – review & editing

gabriel.valiente@upc.edu

Affiliation Algorithms, Bioinformatics, Complexity and Formal Methods Research Group, Technical University of Catalonia, Barcelona, Spain

Competing Interests

The authors have declared that no competing interests exist.