- M. Biscaia.
Interplay between Probabilistic and Temporal Reasoning.
PhD thesis, IST, Universidade de Lisboa, 2015.
Supervised by P. Mateus.
Get a preprint: 15-B-PhDthesis.pdf
- M. Biscaia, D. Henriques, and
P. Mateus.
Decidability of approximate Skolem problem and applications to logical
verification of dynamical properties of Markov chains.
ACM Transactions on Computational Logic, 16(1):4, 2015.
Get a
preprint: 14-BHM-skolem.pdf
- M. Biscaia, P. Baltazar, P. Mateus,
and R. Nagarajan.
A temporal logic for planning under uncertainty.
In C. Boonthum-Denecke and G. M. Youngblood, editors, Proceedings of the
FLAIRS'13 - the 26th International Florida AI Research Symposium, pages
591--596. AAAI Press, 2013.
Get a preprint: 13-BBMN-SATuplan.pdf
- D. Henriques, M. Biscaia,
P. Baltazar, and P. Mateus.
Decidability and complexity for omega-regular properties of stochastic systems.
Logic Journal of the IGPL, 20(6):1175--1201, 2012.
Get a
preprint: 11-HBBM-qsec09a.pdf
- M. Biscaia.
Supervisory control of petri nets using linear temporal logic.
Master's thesis, IST, Universidade Técnica de Lisboa, 2010.
Supervised by P. Lima and P. Mateus.
Get a preprint: 10-B-MScThesis.pdf