Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking. - Ryota Kojima; Corina Cîrstea; Koko Muroya; Ichiro Hasuo (CMCS, 2024)

Explicit Hopcroft's Trick in Categorical Partition Refinement. - Takahiro Sanada; Ryota Kojima; Yuichi Komorida; Koko Muroya; Ichiro Hasuo (CMCS, 2024)