Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Markov_Models: quotient configuration over continuation only equal on the action
Changeset 6466:ca121d331968 by hoelzl:
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)