TY  - RPRT
TI  - Complete Dynamic Logic of Communicating Hybrid Programs
AU  - Marvin Brieger
AU  - Stefan Mitsch
AU  - André Platzer
PY  - 2025
UR  - https://arxiv.org/abs/2408.05012
ID  - 2408.05012
ER  -