An Adequate While-Language for Stochastic Hybrid Computation

Renato Neves, José Proença, Juliana Souza

We introduce a language for formally reasoning about programs that combine differential constructs with probabilistic ones. The language harbours, for example, such systems as adap…