Unifilarisation of stochastic Mealy machines is an instance of coalgebraic determinisation over monads with support structure, producing causal stochastic behaviours rather than Moore-style output distributions.
A coalgebraic perspective on predictive processing
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.LO 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
A coalgebraic generalization of the belief construction is obtained via monad lifting to slices and belief decomposition, proving semantic coincidence with belief coalgebras and identifying conditions for agreement with fully observable counterparts.
citing papers explorer
-
Bayesian updates from coalgebraic determinisation
Unifilarisation of stochastic Mealy machines is an instance of coalgebraic determinisation over monads with support structure, producing causal stochastic behaviours rather than Moore-style output distributions.
-
From Coalgebraic Determinization to Belief Construction for Partial Observability
A coalgebraic generalization of the belief construction is obtained via monad lifting to slices and belief decomposition, proving semantic coincidence with belief coalgebras and identifying conditions for agreement with fully observable counterparts.