RoboScene: Notation for Formal Verification of Human-Robot Interaction. - Holly Hendry; Ana Cavalcanti 001; Cade McCall; Mark Chattington (FASE, 2025)