Huili Xing | DeepAI

DeepAI

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

Featured Co-authors

Jinjin Zhang
7 publications
Zhaohui Zhu
2 publications

research

∙ 08/05/2022

Covariant-Contravariant Refinement Modal μ-calculus

The notion of covariant-contravariant refinement (CC-refinement, for sho...

0 Huili Xing, et al. ∙

research

∙ 06/29/2022

A calculus for epistemic interactions

It plays a central role in intelligent agent systems to model agent's ep...

0 Huili Xing, et al. ∙