Ziyan Wang | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Jun Wang
24 publications
Yan Zhang
19 publications
David Mguni
2 publications
Alexander I. Cowen-Rivers
2 publications
Haitham Bou-Ammar
2 publications
Aivar Sootla
2 publications
Taher Jafferjee
1 publication

research

∙ 06/27/2022

A Formal Specification of Operating System based on ARINC 653

In this paper, by using the formal language Circus, we give a formal spe...

0 Ziyan Wang, et al. ∙

research

∙ 02/14/2022

SAUTE RL: Almost Surely Safe Reinforcement Learning Using State Augmentation

Satisfying safety constraints almost surely (or with probability one) ca...

7 Aivar Sootla, et al. ∙

Success!

An error occurred