1. Elementary Linear Algebra;Andrilli,2022
2. Quantifying opacity;Bérard;Math. Struct. Comput. Sci.,2015
3. Introduction to Probability;Bertsekas,2008
4. Undecidable problems for probabilistic automata of fixed dimension;Blondel;Theory Comput. Syst.,2003
5. Modelling opacity using Petri nets;Bryans;Electron. Notes Theor. Comput. Sci.,2005