StocHy: automated verification and synthesis of stochastic processes

Nathalie Cauchi, Kurt Degiorgio, Alessandro Abate

StocHy is a software tool for the quantitative analysis of discrete-time stochastic hybrid systems (SHS). StocHy accepts a high-level description of stochastic models and construct…