Decidability and complexity for ω-regular properties of stochastic systems. - David Henriques; Manuel Biscaia; Pedro Baltazar; Paulo Mateus (Log. J. IGPL, 2012)

A Temporal Logic for Planning under Uncertainty. - Manuel Biscaia; Pedro Baltazar; Paulo Mateus; Rajagopal Nagarajan (FLAIRS, 2013)

Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains. - Manuel Biscaia; David Henriques; Paulo Mateus (ACM Trans. Comput. Log., 2014)