Summary
- Markov_Models: a CTMC has infinite explosion time when the escape rates are bounded
The file was modified | thys/Markov_Models/Continuous_Time_Markov_Chain.thy (diff) |
The file was modified | thys/Markov_Models/Discrete_Time_Markov_Process.thy (diff) |