Leader-follower hybrid control and task planning for multi-agent systems under spatiotemporal logic specifications

Full project page

Organisations map overview