About the Authors
- Baihua Li
-
Roles Formal analysis, Methodology, Software, Writing – original draft, Writing – review & editing
* E-mail: 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.