Project H3 adresses the verification of cooperating traffic agents with dedicated methods covering high-level cooperation protocols, closed loop control of in-vehicle functions, and design models of such controllers. To this end H3 offers a suite of verification tools and calculi, supporting parametrized verification of hybrid systems, symbolic verification tools for hybrid systems, and methods for compositional verification and robust refinement.