Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs. - Marvin Brieger; Stefan Mitsch; André Platzer (CADE, 2023)

Dynamic Logic of Communicating Hybrid Programs. - Marvin Brieger; Stefan Mitsch; André Platzer (CoRR, 2023)

Complete Dynamic Logic of Communicating Hybrid Programs. - Marvin Brieger; Stefan Mitsch; André Platzer (CoRR, 2024)