Yasmin Rafiq, Christopher Bishop, Simon Watson 0001, Louise A. Dennis, Frederic Wheeler, John Brotherhood, Marti Morta Garriga, Robert M. Hierons. Model-Driven Assurance for Robotic Controllers: A Subterranean Tunnel Inspection Case Study. In Proceedings of the IEEE/ACM 14th International Conference on Formal Methods in Software Engineering, FormaliSE 2026, Rio de Janeiro, Brazil, April 12-13, 2026. pages 35-45, ACM, 2026. [doi]
Abstract is missing.