Cooperative Motion and Task Planning Under Temporal Tasks
Temporal-logic-based languages provide a formal and accurate way to specify complex motion and action missions for autonomous robots, beyond the classic point-to-point navigation task. The first part of the thesis is devoted to the nominal scenario: an autonomous robot is given a motion task specifi...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
KTH, Reglerteknik
2014
|
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-141803 http://nbn-resolving.de/urn:isbn:978-91-7595-016-7 |