Areeba Umair

The rapid growth of robotics and continuous technological advancements, combined with increasing labor costs and shortages of skilled operators, are accelerating the integration of Human Robot Teams (HRTs) across multiple domains. These teams are especially needed in a safety-critical requirement-driven environment, where reliability, trust, and predictable behavior are essential. As robots collaborate more closely with humans, traditional system requirements are no longer sufficient, and now there is a pressing need to incorporate requirements that include teamwork between humans and robots, which explicitly account for joint action, shared goals, cooperative behavior,s and shared intentions.

This project addresses that need by proposing a framework that includes a teamwork concept directly into the pipeline. Starting from high‑level system requirements, we aim to use the Formal Requirements Elicitation Tool (FRET) to have formal requirements and express teamwork specific constraints, including safety, liveness, coordination, and joint responsibility. Thus, we will create a structured bridge from high level requirements to formal specifications.

Once we have a formalized requirements set, these will be verified systematically using model checking techniques to ensure not only that the requirements are valid and unambiguous, but also that they are verifiable against system models to guarantee correct behavior in complex cooperative scenarios.