Zebo Peng | DeepAI

DeepAI

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

Featured Co-authors

Ludovic Henrio
10 publications
Zeinab Ganjei
2 publications
Ahmed Rezine
2 publications
Petru Eles
2 publications

research

∙ 11/17/2018

On Reachability in Parameterized Phaser Programs

We address the problem of statically checking safety properties (such as...

0 Zeinab Ganjei, et al. ∙

research

∙ 08/09/2017

Safety Verification of Phaser Programs

We address the problem of statically checking control state reachability...

0 Zeinab Ganjei, et al. ∙