generated at
2/10/2025, 6:25:52 AM
計算木論理CTL*
perfect computational tree logic
らしい？