Paper Info
Title
FunSpec4DTMC - A Tool for Modelling Discrete-Time Markov Chains Using Functional Specification.
Abstract
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 x(s) 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].
Year
DOI
Venue
2018
10.1007/978-3-319-74947-1_28
Lecture Notes in Computer Science
DocType
Volume
ISSN
Conference
10740
0302-9743
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Frederik Hauser111.04
Dominik Krauß200.34
Michael Menth356772.74