RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots

Project: Research project (funded) › Research

Status	Active
Effective start/end date	1/04/18 → 31/08/24

Architectural modelling for robotics: RoboArch and the CorteX example
Barnett, W., Cavalcanti, A. L. C. & Miyazawa, A., 28 Oct 2022, In: Frontiers in Robotics and AI. 9, 20 p., 991637.
Research output: Contribution to journal › Article › peer-review

Open Access
File
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
Formally Verified Animation for RoboChart Using Interaction Trees
Ye, K., Foster, S. & Woodcock, J., 10 Oct 2022, Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Proceedings. Riesco, A. & Zhang, M. (eds.). Springer, p. 404-420 17 p. (Lecture Notes in Computer Science ; vol. 13478).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File

Chris Thompson
Jim Woodcock (Host) & Ana Lucia Caneca Cavalcanti (Host)
12 Nov 2022
Activity: Hosting a visitor › Academic
RoboTest meeting
Jim Woodcock (Advisor), Ana Lucia Caneca Cavalcanti (Advisor) & Robert M. Hierons (Advisor)
7 Nov 2022
Activity: Other › Collaboration
YorRobots and RoboStar Industry Exhibition
Jim Woodcock (Advisor)
11 Oct 2022 → 12 Oct 2022
Activity: Participating in or organising an event › Exhibition

Project Details