Marvin Brieger | DeepAI

DeepAI

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

Featured Co-authors

André Platzer
32 publications
Stefan Mitsch
15 publications

research

∙ 03/30/2023

Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs

This paper introduces a uniform substitution calculus for dℒ_CHP, the dy...

0 Marvin Brieger, et al. ∙

research

∙ 02/28/2023

Dynamic Logic of Communicating Hybrid Programs

This paper presents a dynamic logic dℒ_CHP for compositional deductive v...

0 Marvin Brieger, et al. ∙