From Hand-Crafted Timelines to Provable Goals: Verifying ConOps with Knowledge Graphs and Formal Methods

At INCOSE IS 2026 in Yokohama, JAXA presented a methodology for verifying the concept of operations of a space mission...