Matthew Windsor

Search results

• 2022

  Autonomous Fire-Fighting UAV

  Araujo, H., Dubey, S., Kaddouh, B. Y., Mousavi, M. R., De Oliveira Salazar Ribeiro, P. F. & Windsor, M., 11 Oct 2022, (Unpublished).

  Research output: Contribution to conference › Poster

  File

• RoboCert: Property Specification for Robotics using Sequence Diagrams

  Windsor, M. & Cavalcanti, A. L. C., 11 Oct 2022.

  Research output: Contribution to conference › Poster

  Open Access

  File