TY  - RPRT
TI  - Semantics and Axiomatization for Stochastic Differential Dynamic Logic
AU  - Michael Roberts
AU  - Alexei Kopylov
AU  - Aleksey Nogin
PY  - 2021
UR  - https://arxiv.org/abs/2102.09667
ID  - 2102.09667
ER  -