Summary
- Markov_Models: quotient configuration over continuation only equal on the action
The file was modified | thys/Markov_Models/MDP_Reachability_Problem.thy (diff) |
The file was modified | thys/Markov_Models/Markov_Decision_Process.thy (diff) |
The file was modified | thys/Markov_Models/MDP_Reachability_Problem.thy (diff) |
The file was modified | thys/Markov_Models/Markov_Decision_Process.thy (diff) |