MSc Theses

Multi-robot hybrid motion planning using satisfiability methods

Master Thesis, Instituto Superior Técnico, Universidade de Lisboa, October