Towards Trustworthy AI: Safe-visor Architecture for Uncertified Controllers in Stochastic Cyber-Physical Systems Project: AutoCPS Updated at: 27-04-2024 Show more information Project acronym AutoCPS
Compositional Construction of Control Barrier Certificates for Large-Scale Interconnected Stochastic Systems Project: AutoCPS Updated at: 27-04-2024 Show more information Project acronym AutoCPS