About the Authors

Baihua Li

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

b.li@lboro.ac.uk

Affiliation Department of Computer Science, Loughborough University, Loughborough, United Kingdom

Arjun Sharma

Roles Software

Affiliation Robotics Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, United States of America

James Meng

Roles Formal analysis, Methodology, Writing – review & editing

Affiliation School of Clinical Medicine, University of Cambridge, Cambridge, United Kingdom

Senthil Purushwalkam

Roles Software

Affiliation Robotics Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, United States of America

Emma Gowen

Roles Conceptualization, Formal analysis, Writing – review & editing

Affiliation Faculty of Biology, Medicine and Health, University of Manchester, Manchester, United Kingdom

Competing Interests

The authors have declared that no competing interests exist.