ISAAC 2022で "Extended mso model checking via small vertex integrity" について発表しました．