Towards incremental deductive verification for ATL.

Zheng Cheng, Massimo Tisi

Browse the full MODELS paper archive.