Each lab owns its programme. REQS owns the standard.

The directory lists approved member labs, their leads, current status, research scope, and public repositories.

01forming

Led by Davor Svetinovic

Trusted Agentic Systems Lab

How can autonomous systems be trusted when they act across code, markets, and physical infrastructure?

Research on agent assurance, decentralized systems, cyber-physical resilience, and the engineering methods needed to specify trust.

Agent assuranceDecentralized systemsCyber-physical resilienceRequirements engineering