Theory and Practice of Quantitative ATL.

Angelo Ferrando, Giulia Luongo, Vadim Malvone, Aniello Murano

Browse the full PRIMA paper archive.