Computing Power Indices in Weighted Majority Games with Formal Power Series. - Naonori Kakimura; Yoshihiko Terai (WALCOM, 2026)