Outputs (2)

Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems (2023)
Presentation / Conference Contribution
(2023, November). Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems. Presented at Formal Methods for Autonomous Systems (FMAS 2023), Leiden, The Netherlands

CSP2Turtle: Verified Turtle Robot Plans (2023)
Journal Article
MacConville, D., Farrell, M., Luckcuck, M., & Monahan, R. (2023). CSP2Turtle: Verified Turtle Robot Plans. Robotics, 12(2), Article 62. https://doi.org/10.3390/ROBOTICS12020062

Software verification is an important approach to establishing the reliability of critical systems. One important area of application is in the field of robotics, as robots take on more tasks in both day-to-day areas and highly specialised domains. O... Read More about CSP2Turtle: Verified Turtle Robot Plans.