Specification and Planning of UAV Missions: A Process Algebra Approach
Formal languages have recently come under attention as a powerful tool to describe in a precise and rigorous way mission specifications (i.e., mission objectives and constraints) for robotic systems, and to design planning and control algorithms that provably achieve the specifications. In this pape...
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | en_US |
| Published: |
2010
|
| Online Access: | http://hdl.handle.net/1721.1/59413 https://orcid.org/0000-0002-0505-1400 https://orcid.org/0000-0002-2225-7275 |