related documents Formal Methods Meet Autonomous Systems: A Journey on A Two-Year Research Collaboration with Industry Conferences