TY  - CONF

T1  - Model-Driven Assurance for Robotic Controllers: A Subterranean Tunnel Inspection Case Study

JO  - 14th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE 2026)

PY  - 2026/01/23

AU  - Rafiq Y

AU  - Bishop C

AU  - Watson S

AU  - Dennis L

AU  - Wheeler F

AU  - Brotherhood J

AU  - Garriga MM

AU  - Hierons R

ED  - 

Y2  - 2026/01/27

ER  -