Satellite Mission Planning with Signal Temporal Logic Specifications
AIAA SciTech Forum and Exposition ; 2022 ; San Diego, Calif.; Online
Intelligent systems ; Volume 1 of 2 ; 413-425
2022
Aufsatz (Konferenz)
Englisch
British Library Conference Proceedings | 2008
|