RoboStar at FASE 2025

RoboStar is proud to have participated in FASE 2025 (part of the ETAPS joint conferences):

• James Baxter presented the paper “Formal Architectural Patterns for Adaptive Robotic Software”, written with colleagues from RoboSAPIENS and presenting extensions to RoboArch and translation to RoboChart to support the work of RoboSAPIENS.
• Holly Hendry presented the paper “RoboScene: Notation for Formal Verification of Human-Robot Interaction”, presenting RoboScene, our UML-based notation for the modelling and verification of human-robot interaction.