Developing a System for Robust Planning using Linear Temporal Logic
Human robot-collaborative search missions have gotten more and more attention in recent years.Especially in scenarios where the robot first scouts the scene before sending in human agents. Thissaves time and avoids unnecessary risks for the human agents. One possible configuration of such arescue te...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
KTH, Reglerteknik
2018
|
| Subjects: | |
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-231846 |