From Coalgebraic Determinization to Belief Construction for Partial Observability.

Mayuko Kori, Kazuki Watanabe

Browse the full CONCUR paper archive.