Kangfeng Ye | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Simon Foster
19 publications
Jim Woodcock
18 publications
Ana Cavalcanti
13 publications

research

∙ 03/16/2023

Probabilistic relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving

Probabilistic programming combines general computer programming, statist...

0 Kangfeng Ye, et al. ∙

research

∙ 03/16/2023

Formally Verified Animation for RoboChart using Interaction Trees

RoboChart is a core notation in the RoboStar framework. It is a timed an...

0 Kangfeng Ye, et al. ∙

research

∙ 07/27/2020

Automated Verification of Reactive and Concurrent Programs by Calculation

Reactive programs combine traditional sequential programming constructs ...

0 Simon Foster, et al. ∙

research

∙ 06/06/2018

Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra

Reactive programs are ubiquitous in modern applications, and thus verifi...

0 Simon Foster, et al. ∙