Abstract
This paper presents automatically synthesized robot strategies for evacuating noncompliant users during an emergency, comparing nudging and waiting behaviors to determine which strategies most effectively guide reluctant individuals to safety.