Pick-Up and Delivery Planning in Multi-Agent Systems under Temporal Logic Specications
This thesis describes an approach for solving planning problems for a team of robots involving picking up and moving objects. The temporal goals are described using linear temporal logic over subsets of the workspace. Temporal logic is a convenient formalism to capture the usual control specications...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
KTH, Reglerteknik
2013
|
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-140426 |