Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle; Timmer, Mark A linear process-algebraic format with data for probabilistic automata. (English) Zbl 1283.68246 Theor. Comput. Sci. 413, No. 1, 36-57 (2012). Reviewer: Damas Gruska (Bratislava) MSC: 68Q85 68Q45 68Q87 PDFBibTeX XMLCite \textit{J.-P. Katoen} et al., Theor. Comput. Sci. 413, No. 1, 36--57 (2012; Zbl 1283.68246) Full Text: DOI
Lampka, Kai; Siegle, Markus; Ossowski, Joern; Baier, Christel Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications. (English) Zbl 1214.68219 Form. Methods Syst. Des. 36, No. 3, 198-222 (2010). MSC: 68Q60 68W05 68Q85 PDFBibTeX XMLCite \textit{K. Lampka} et al., Form. Methods Syst. Des. 36, No. 3, 198--222 (2010; Zbl 1214.68219) Full Text: DOI Link
Lampka, Kai A new algorithm for partitioned symbolic reachability analysis. (English) Zbl 1337.68167 Halava, Vesa (ed.) et al., Proceedings of the 2nd workshop on reachability problems in computational models (RP 2008), Liverpool, UK, September 15–17, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 223, 137-151 (2008). MSC: 68Q60 68P05 68R10 68W30 PDFBibTeX XMLCite \textit{K. Lampka}, Electron. Notes Theor. Comput. Sci. 223, 137--151 (2008; Zbl 1337.68167) Full Text: DOI
Derisavi, Salem A symbolic algorithm for optimal Markov chain lumping. (English) Zbl 1186.68324 Grumberg, Orna (ed.) et al., Tools and algorithms for the construction and analysis of systems. 13th international conference, TACAS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71208-4/pbk). Lecture Notes in Computer Science 4424, 139-154 (2007). MSC: 68Q87 68P05 68W30 PDFBibTeX XMLCite \textit{S. Derisavi}, Lect. Notes Comput. Sci. 4424, 139--154 (2007; Zbl 1186.68324) Full Text: DOI