Hierarchical multi-robot strategies synthesis and optimization under individual and collaborative temporal logic specifications

Ruofei Bai, Ronghao Zheng, Yang Xu, Meiqin Liu, Senlin Zhang. Hierarchical multi-robot strategies synthesis and optimization under individual and collaborative temporal logic specifications. Robotics and Autonomous Systems, 153:104085, 2022. [doi]

Authors

Ruofei Bai

This author has not been identified. Look up 'Ruofei Bai' in Google

Ronghao Zheng

This author has not been identified. Look up 'Ronghao Zheng' in Google

Yang Xu

This author has not been identified. Look up 'Yang Xu' in Google

Meiqin Liu

This author has not been identified. Look up 'Meiqin Liu' in Google

Senlin Zhang

This author has not been identified. Look up 'Senlin Zhang' in Google