Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking

Paolo Ballarini

The application of formal methods to the analysis of stochastic oscillators has been at the focus of several research works in recent times. In this paper we provide insights on th…