Postdoc in Multi-Robot Planning and Control Under Temporal Logic Tasks

Royal Institute of Technology School of Electrical Engineering and Computer Science