Having success in this project, it will pave the way for more efficient collaboration between experts in theoretical computer science and practitioners in software engineering. Since such tight collaborations are rare between experts in these fields, this project will provide the opportunity to make broader impacts in this way, which shall be treasured.

Such works shed light on the direction of using state-of-the-art theoretical computer science in real scenarios of software development.

This mutual joint work is highly important in research development and the future of science at the very joint point of Artificial Intelligence and verification methods. However, more principled and rigorous foundations that can be taught, practiced, and systematically replicated are missing in agile software development of systems in industry.

This is the main key for making societal trust in the safety and robustness of autonomous systems, with a particular emphasis on UAVs.