Matches in SemOpenAlex for { <https://semopenalex.org/work/W2789207946> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2789207946 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]." @default.
- W2789207946 created "2018-03-06" @default.
- W2789207946 creator A5008815749 @default.
- W2789207946 creator A5044500042 @default.
- W2789207946 creator A5066802567 @default.
- W2789207946 date "2018-01-01" @default.
- W2789207946 modified "2023-09-27" @default.
- W2789207946 title "FunSpec4DTMC – A Tool for Modelling Discrete-Time Markov Chains Using Functional Specification" @default.
- W2789207946 cites W1495079723 @default.
- W2789207946 cites W1515578806 @default.
- W2789207946 cites W1862398452 @default.
- W2789207946 cites W2016408778 @default.
- W2789207946 cites W2111987809 @default.
- W2789207946 cites W2123631651 @default.
- W2789207946 cites W4300027076 @default.
- W2789207946 doi "https://doi.org/10.1007/978-3-319-74947-1_28" @default.
- W2789207946 hasPublicationYear "2018" @default.
- W2789207946 type Work @default.
- W2789207946 sameAs 2789207946 @default.
- W2789207946 citedByCount "0" @default.
- W2789207946 crossrefType "book-chapter" @default.
- W2789207946 hasAuthorship W2789207946A5008815749 @default.
- W2789207946 hasAuthorship W2789207946A5044500042 @default.
- W2789207946 hasAuthorship W2789207946A5066802567 @default.
- W2789207946 hasConcept C105795698 @default.
- W2789207946 hasConcept C11413529 @default.
- W2789207946 hasConcept C119857082 @default.
- W2789207946 hasConcept C138885662 @default.
- W2789207946 hasConcept C147080032 @default.
- W2789207946 hasConcept C159886148 @default.
- W2789207946 hasConcept C163836022 @default.
- W2789207946 hasConcept C27206212 @default.
- W2789207946 hasConcept C2778738651 @default.
- W2789207946 hasConcept C33923547 @default.
- W2789207946 hasConcept C41008148 @default.
- W2789207946 hasConcept C54907487 @default.
- W2789207946 hasConcept C55689738 @default.
- W2789207946 hasConcept C80444323 @default.
- W2789207946 hasConcept C98763669 @default.
- W2789207946 hasConceptScore W2789207946C105795698 @default.
- W2789207946 hasConceptScore W2789207946C11413529 @default.
- W2789207946 hasConceptScore W2789207946C119857082 @default.
- W2789207946 hasConceptScore W2789207946C138885662 @default.
- W2789207946 hasConceptScore W2789207946C147080032 @default.
- W2789207946 hasConceptScore W2789207946C159886148 @default.
- W2789207946 hasConceptScore W2789207946C163836022 @default.
- W2789207946 hasConceptScore W2789207946C27206212 @default.
- W2789207946 hasConceptScore W2789207946C2778738651 @default.
- W2789207946 hasConceptScore W2789207946C33923547 @default.
- W2789207946 hasConceptScore W2789207946C41008148 @default.
- W2789207946 hasConceptScore W2789207946C54907487 @default.
- W2789207946 hasConceptScore W2789207946C55689738 @default.
- W2789207946 hasConceptScore W2789207946C80444323 @default.
- W2789207946 hasConceptScore W2789207946C98763669 @default.
- W2789207946 hasLocation W27892079461 @default.
- W2789207946 hasOpenAccess W2789207946 @default.
- W2789207946 hasPrimaryLocation W27892079461 @default.
- W2789207946 hasRelatedWork W1498043237 @default.
- W2789207946 hasRelatedWork W1593051417 @default.
- W2789207946 hasRelatedWork W1596126913 @default.
- W2789207946 hasRelatedWork W1596582474 @default.
- W2789207946 hasRelatedWork W1603763795 @default.
- W2789207946 hasRelatedWork W1953041805 @default.
- W2789207946 hasRelatedWork W2027903142 @default.
- W2789207946 hasRelatedWork W2075586586 @default.
- W2789207946 hasRelatedWork W2117053435 @default.
- W2789207946 hasRelatedWork W2206252851 @default.
- W2789207946 hasRelatedWork W2314662495 @default.
- W2789207946 hasRelatedWork W2500682103 @default.
- W2789207946 hasRelatedWork W2523722315 @default.
- W2789207946 hasRelatedWork W2540690809 @default.
- W2789207946 hasRelatedWork W2592341669 @default.
- W2789207946 hasRelatedWork W2654280486 @default.
- W2789207946 hasRelatedWork W3148393325 @default.
- W2789207946 hasRelatedWork W3173774827 @default.
- W2789207946 hasRelatedWork W3198821933 @default.
- W2789207946 hasRelatedWork W2626822376 @default.
- W2789207946 isParatext "false" @default.
- W2789207946 isRetracted "false" @default.
- W2789207946 magId "2789207946" @default.
- W2789207946 workType "book-chapter" @default.