Visible to the public Stochastic differential dynamic logic for stochastic hybrid programs

Submitted by sloos@cs.cmu.edu on Mon, 03/04/2013 - 2:55pm
Preview: Text

Other available formats:   

Stochastic differential dynamic logic for stochastic hybrid programs
Switch to experimental viewer