Vlad Rusu | DeepAI

DeepAI

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

Featured Co-authors

David Nowak
3 publications

research

∙ 09/19/2022

Proceedings of the Sixth Working Formal Methods Symposium

It is our pleasure to present the papers of the sixth Working Formal Met...

0 Vlad Rusu, et al. ∙

research

∙ 09/04/2019

(Co)inductive Proof Systems for Compositional Proofs in Reachability Logic

Reachability Logic is a formalism that can be used, among others, for ex...

0 Vlad Rusu, et al. ∙