One thought on “Model Theory – part 07 – Semantics pt 1”
Where did you go? Given an MDP M_1 and a MC M_2, the decision of whether M_1 and M_2 are equivalent for all strategies M_1; were an MDP is https://en.wikipedia.org/wiki/Markov_decision_process and MC is a Markov chain. Connect this to what we learned from the Stone Duality for Markov Processes paper!
Where did you go? Given an MDP M_1 and a MC M_2, the decision of whether M_1 and M_2 are equivalent for all strategies M_1; were an MDP is https://en.wikipedia.org/wiki/Markov_decision_process and MC is a Markov chain. Connect this to what we learned from the Stone Duality for Markov Processes paper!