Manuel Biscaia

According to our database, Manuel Biscaia authored at least 3 papers between 2012 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

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

2013

A Temporal Logic for Planning under Uncertainty.

Manuel Biscaia, Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan

Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, 2013

2012

Decidability and complexity for ω-regular properties of stochastic systems.

David Henriques, Manuel Biscaia, Pedro Baltazar, Paulo Mateus

Log. J. IGPL, 2012