Research output per year
Research output per year
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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 AccessFile -
RoboCert: Property Specification in Robotics
Windsor, M. & Cavalcanti, A., 10 Oct 2022, ICFEM 2022: Formal Methods and Software Engineering. Springer, p. 386-403 18 p. (Lecture Notes in Computer Science; vol. 13478).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile