Rong Gu: Formal Methods for Scalable Synthesis and Verification of Autonomous Systems : Mission Planning and Collision Avoidance. Mälardalen University, Sweden 2022