Scalable Verification of Strategy Logic through Three-Valued Abstraction.

Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano

Browse the full IJCAI paper archive.