Manuel Biscaia

Decidability and complexity for ω-regular properties of stochastic systems

David Henriques, Paulo Mateus, Pedro Baltazar, 2012, Log. J. IGPL.

A Temporal Logic for Planning under Uncertainty

Rajagopal Nagarajan, Paulo Mateus, Pedro Baltazar, 2013, FLAIRS.

Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains

David Henriques, Paulo Mateus, Manuel Biscaia, 2014, ACM Trans. Comput. Log..