We present a tool for the analysis of finite discrete-time Markov chains (DTMCs). As a novelty, the tool offers functional specification of DTMCs and implements forward algorithms to compute the stationary state distribution of the DTMC or derive its transition matrix P [19]. In addition, we implement nine direct and indirect algorithms to compute various metrics of DTMCs based on P including an algorithm to determine the period of the DTMC. The tool is intended for both production purposes and as platform for teaching the functional specification of DTMCs. It is published under GPLv3 [3] on Github [2].
CITATION STYLE
Hauser, F., Krauß, D., & Menth, M. (2018). FunSpec4DTMC – A Tool for Modelling Discrete-Time Markov Chains Using Functional Specification. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10740 LNCS, pp. 332–337). Springer Verlag. https://doi.org/10.1007/978-3-319-74947-1_28
Mendeley helps you to discover research relevant for your work.