4 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.LO2024
Complete Dynamic Logic of Communicating Hybrid Programs
Marvin Brieger, Stefan Mitsch, André Platzer
This article presents a relatively complete proof calculus for the dynamic logic of communicating hybrid programs dLCHP. Beyond hybrid systems, communicating hybrid programs not on…
cs.LO2023★ 3 cited
Dynamic Logic of Communicating Hybrid Programs
Marvin Brieger, Stefan Mitsch, André Platzer
This paper presents a dynamic logic for compositional deductive verification of communicating hybrid programs (CHPs). CHPs go beyond the traditional mixed…
cs.LO2023★ 4 cited
Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs
Marvin Brieger, Stefan Mitsch, André Platzer
This paper introduces a uniform substitution calculus for , the dynamic logic of communicating hybrid programs. Uniform substitution enables parsimonious pr…