With many applications across domains as diverse logistics, healthcare, and agriculture, service robots are in increasingly high demand. Nevertheless, the designers of these often struggle with specifying their tasks a way that is both human-understandable sufficiently precise to enable automated verification planning robotic missions. Recent research has addressed this problem for functional a...