Step into the dynamic world of the University of York’s team, an integral part of the groundbreaking RoboStar research center. Picture a hub pulsating with innovation, devoted to pioneering advancements in Software Engineering for Robotics. With a formidable formal specification and verification foundation, this team is poised to revolutionize the field.

Their mission? To carve out new frontiers in the formal specification of safety requirements and modular verification. But that’s just the beginning. They’re not content with merely theorizing; they’re trailblazers who roll up their sleeves and dive headfirst into prototyping. When it comes to interfacing verification tools, they’re the masters, ensuring that every behaviour arising from self-adaptation and uncertainties is rigorously validated.

In short, the UoY team are architects of the future, helping to shape tomorrow’s Software Engineering for robotics landscape.

Their primary contributions to the RoboSAPIENS project will be establishing foundational theories for the formal specification of safety requirements and modular verification, including prototyping and interfacing the verification tools to validate the behaviours resulting from self-adaptation and uncertainties.