RoboScene: Notation for Formal Verification of Human-Robot Interaction.

Holly Hendry, Ana Cavalcanti, Cade McCall, Mark Chattington

Browse the full FASE paper archive.