Satellite Mission Planning with Signal Temporal Logic Specifications

von Pantazides, Athanasios
Veröffentlicht in AIAA SciTech Forum and Exposition (2022 : San Diego, Calif.; Online) Intelligent systems ; Volume 1 of 2 (2022)