17 citations · 26 across the 9 of their papers we have counts for
1 paper · 1 filter
Maxence Dutreix, Samuel Coogan
This paper addresses the problem of verifying discrete-time stochastic systems against omega-regular specifications using finite-state abstractions. Omega-regular properties allow…