A Unifying Coalgebraic Framework for Product Constructions in Quantitative Temporal Inference

This paper proposes a novel coalgebraic framework to unify and analyze product constructions used for efficient temporal inference in quantitative systems, including probabilistic and weighted programs.