Semantics and Axiomatization for Stochastic Differential Dynamic Logic

Michael Roberts, Alexei Kopylov, Aleksey Nogin

Building on previous work by André Platzer, we present a formal language for Stochastic Differential Dynamic Logic, and define its semantics, axioms and inference rules. Compared t…