Decidability and complexity for ω-regular properties of stochastic systems

D. Henriques, Manuel Biscaia, Pedro Baltazar, Paulo Mateus. Decidability and complexity for ω-regular properties of stochastic systems. Logic Journal of the IGPL, 20(6):1175-1201, 2012. [doi]

Abstract

Abstract is missing.