Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-robot Systems
International Workshop on the Algorithmic Foundations of Robotics ; 15. ; 2022 ; College Park
2023
Conference paper
English
DDC: | 629.8 |
Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-robot Systems
Springer Verlag | 2022
|Power Line Inspection Tasks with Multi-Aerial Robot Systems Via Signal Temporal Logic Specifications
BASE | 2021
|