| Distributed communication-aware motion planning for multi-agent systems from stl and spatel specifications Z Liu, B Wu, J Dai, H Lin 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 4452-4457, 2017 | 56 | 2017 |
| Communication-aware Motion Planning for Multi-agent Systems from Signal Temporal Logic Specifications Z Liu, J Dai, B Wu, H Lin 2017 American Control Conference (ACC), 2516 - 2521, 2017 | 54 | 2017 |
| Distributed communication-aware motion planning for networked mobile robots under formal specifications Z Liu, B Wu, J Dai, H Lin IEEE Transactions on Control of Network Systems 7 (4), 1801-1811, 2020 | 31 | 2020 |
| A mean field game approach to swarming robots control Z Liu, B Wu, H Lin 2018 Annual American Control Conference (ACC), 4293-4298, 2018 | 27 | 2018 |
| Collabdrone: A collaborative spatiotemporal-aware drone sensing system driven by social sensing signals MT Rashid, D Zhang, Z Liu, H Lin, D Wang 2019 28th International Conference on Computer Communication and Networks …, 2019 | 24 | 2019 |
| Complex pattern generation for swarm robotic systems using spatial-temporal logic and density feedback control T Zheng, Z Liu, H Lin 2020 American Control Conference (ACC), 5301-5306, 2020 | 13 | 2020 |
| A graph-based spatial temporal logic for knowledge representation and automated reasoning in cognitive robots Z Liu, M Jiang, H Lin arXiv preprint arXiv:2001.07205, 2020 | 13 | 2020 |
| Coordinated robot-assisted human crowd evacuation Z Liu, B Wu, H Lin 2018 IEEE conference on decision and control (CDC), 4481-4486, 2018 | 10 | 2018 |
| Parameter and insertion function co-synthesis for opacity enhancement in parametric stochastic discrete event systems B Wu, Z Liu, H Lin 2018 Annual American Control Conference (ACC), 3032-3037, 2018 | 9 | 2018 |
| Specification mining and automated task planning for autonomous robots based on a graph-based spatial temporal logic Z Liu, M Jiang, H Lin arXiv preprint arXiv:2007.08451, 2020 | 1 | 2020 |
