Verification of General Games with Imperfect Information Using Strategy Logic.

Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher

Browse the full KR paper archive.