UK Trustworthy Autonomous Systems Verifiability Node

Project: Research project (funded) › Research

Status	Finished
Effective start/end date	1/11/20 → 31/10/24

Testing using CSP Models: Time, Inputs, and Outputs
Baxter, J., Cavalcanti, A., Gazda, M. & Hierons, R. M., 28 Jan 2023, In: ACM Transactions on Computational Logic. 24, 2, 3572837.
Research output: Contribution to journal › Article › peer-review
Albert: A CDT in Autonomous Robotic Systems for Laboratory Experiments
Woodcock, J., 11 Oct 2022. 1 p.
Research output: Contribution to conference › Poster

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

YorRobots and RoboStar Industry Exhibition
Woodcock, J. (Advisor)
11 Oct 2022 → 12 Oct 2022
Activity: Participating in or organising an event › Exhibition

Project Details