Christophe Combastel | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Carlos Trapiello
1 publication
Ali Zolghadri
1 publication

research

∙ 06/26/2023

Verification of Neural Network Control Systems using Symbolic Zonotopes and Polynotopes

Verification and safety assessment of neural network controlled systems ...

0 Carlos Trapiello, et al. ∙

research

∙ 09/15/2020

Functional sets with typed symbols: Framework and mixed Polynotopes for hybrid nonlinear reachability and filtering

Verification and synthesis of Cyber-Physical Systems (CPS) are challengi...

0 Christophe Combastel, et al. ∙

Success!

An error occurred