MC-for-programmers2022.pdf (2.46 MB)
Download file

Markov Chains for programmers

Download (2.46 MB)
posted on 29.05.2022, 06:17 authored by Ricardo CzeksterRicardo Czekster

 This book is a gentle introduction to Markov Chains for programmers. It  describes the basics of the formalism and demonstrate numerical methods  using the C Programming Language (presented as 'coding challenges' for  programming enthusiasts). The code is then validated using MATLAB and  CTMC/DTMC models in the PRISM Statistical Model Checker tool. The book  also describes and comments on several basic models with applications in  dependability.