An adequate while-language for stochastic hybrid computation.

Renato Neves, Jos Proena, Juliana Souza

Browse the full PPDP paper archive.