Summary
- Markov Models: add discrete-time Markov processes and continuous-time Markov chains (i.e. discrete-state)
The file was added | thys/Markov_Models/Continuous_Time_Markov_Chain.thy |
The file was added | thys/Markov_Models/Discrete_Time_Markov_Process.thy |
The file was added | thys/Markov_Models/Markov_Models_Auxiliary.thy |
The file was added | thys/Markov_Models/Stopping_Time.thy |
The file was modified | thys/Markov_Models/Discrete_Time_Markov_Chain.thy (diff) |
The file was modified | thys/Markov_Models/Markov_Models.thy (diff) |