RoboStar at FM 2024

RoboStar is proud to have participated in FM 2024:

• Ana Cavalcanti presented a keynote talk as part of the co-located conferences FACS, TAP, FMICS, and LOPSTR/PPDP, titled “Comparing Reactive Models and Cyclic Components of Robotic Systems: The RoboStar approach to model-based testing”;
• Holly Hendry presented her work on “Human-Robot Interaction in the Verification and Design of Robotic Systems” as part of the doctoral symposium;
• James Baxter presented the paper “RoboWorld: Verification of Robotic Systems with Environment in the Loop” as part of the journal first track.