Items where authors include "Garriga, M.M."

Proceedings Paper

Rafiq, Y., Bishop, C., Watson, S. et al. (5 more authors) (2026) Model-driven assurance for robotic controllers: a subterranean tunnel inspection case study. In: 14th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE 2026). 14th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE 2026), 12-14 Apr 2026, Rio de Janeiro, Brazil. ACM . (In Press)