Zhilei Han | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Taolue Chen
24 publications
Fei He
18 publications
Matthew Hague
8 publications
Zhilin Wu
7 publications
Anthony Widjaja Lin
4 publications
Shuanglong Kan
4 publications
Philipp Ruemmer
4 publications
Guanyan Li
2 publications
Denghang Hu
2 publications
Alejandro Flores Lamas
1 publication

research

∙ 03/08/2022

ProbTA: A sound and complete proof rule for probabilistic verification

We propose a sound and complete proof rule ProbTA for quantitative analy...

0 Guanyan Li, et al. ∙

research

∙ 11/08/2021

Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables

Regular expressions are a classical concept in formal language theory. R...

0 Taolue Chen, et al. ∙