The solution of problems relative to probabilistic automata in the frame of the formal languages theory, Proc. of the 4th GI Jahrestagung, pp.107-112, 1974. ,
Some algebraic and geometric computations in PSPACE, Proceedings of the twentieth annual ACM symposium on Theory of computing , STOC '88, pp.460-467, 1988. ,
DOI : 10.1145/62212.62257
Model Checking MDPs with a Unique Compact Invariant Set of Distributions, 2011 Eighth International Conference on Quantitative Evaluation of SysTems, 2011. ,
DOI : 10.1109/QEST.2011.22
EQUIVALENCE OF LABELED MARKOV CHAINS, International Journal of Foundations of Computer Science, vol.19, issue.03, pp.549-563, 2008. ,
DOI : 10.1142/S0129054108005814
Finite Markov chains, 1960. ,
Reasoning about MDPs as Transformers of Probability Distributions, 2010 Seventh International Conference on the Quantitative Evaluation of Systems, 2010. ,
DOI : 10.1109/QEST.2010.35
Markov chains, volume 2 of Cambridge series on statistical and probabilistic mathematics, 1997. ,
Markov decision processes: discrete stochastic dynamic programming, 1994. ,
DOI : 10.1002/9780470316887
Theory and Algorithms for Linear Optimization: An interior point approach, 1997. ,
(editors) Markov decision processes in artifical intelligence, 2010. ,
Diagnosability of stochastic discrete-event systems, IEEE Transactions on Automatic Control, vol.50, issue.4, pp.476-492, 2005. ,
DOI : 10.1109/TAC.2005.844722