@inproceedings{inproceedings, title  = {{Model-Driven Assurance for Robotic Controllers: A Subterranean Tunnel Inspection Case Study}},

 url = {{}},

 year = {{2026}},

 month = {{1}},

 author = {{Rafiq Y and Bishop C and Watson S and Dennis L and Wheeler F and Brotherhood J and Garriga MM and Hierons R}},

 journal = {{14th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE 2026)}},

 note = {{Accessed on 2026/01/27}}}