About the Authors

Nathanaël Barrot

Roles Formal analysis

Affiliation EPF Graduate School of Engineering, Sceaux, France

Kentaro Yahiro

Roles Data curation, Formal analysis

yahiro@agent.inf.kyushu-u.ac.jp

Affiliation Kyushu University, Fukuoka, Japan

Makoto Yokoo

Roles Supervision

Affiliation Kyushu University, Fukuoka, Japan

Yuzhe Zhang

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

Affiliation Data61, CSIRO, Sydney, Australia

Competing Interests

The authors have declared that no competing interests exist.