Patrick Cousot | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Chaoqiang Deng
1 publication

research

∙ 09/29/2022

Asynchronous Correspondences Between Hybrid Trajectory Semantics

We formalize the semantics of hybrid systems as sets of hybrid trajector...

0 Patrick Cousot, et al. ∙

research

∙ 07/18/2019

Responsibility Analysis by Abstract Interpretation

Given a behavior of interest in the program, statically determining the ...

0 Chaoqiang Deng, et al. ∙