Proving ATL* Properties of Infinite-State Systems.

Matteo Slanina, Henny B. Sipma, Zohar Manna

Browse the full ICTAC paper archive.