Mission Planning and Control of Multi-Aircraft Systems With Signal Temporal Logic Specifications

Baris Baspinar, Hamsa Balakrishnan, Emre Koyuncu. Mission Planning and Control of Multi-Aircraft Systems With Signal Temporal Logic Specifications. IEEE Access, 7:155941-155950, 2019. [doi]

Abstract

Abstract is missing.