All Projects

Take a look at the variety of projects that the HyCoDeV team has taken part in

project image

SySCoRe: Synthesis via Stochastic Coupling Relations

Data-Driven

project image

SymAware: Symbolic Logic Framework for Situational Awareness in Mixed Autonomy

Abstraction-Based

project image

CodeCPS: Correct-by-Design Estimation and Control of Cyber-Physical Systems

Abstraction-Free