Effective Stochastic Automata Model Checking by Interval Abstraction (extended version)

Pedro R. D'Argenio, Arnd Hartmanns, Annabell Petri

Stochastic automata (SA) are a formal stochastic continuous-time model based on countdown timers whose expiration times follow general probability distributions. SA are particularl…