Reasoning about Agent Programs Using ATL-Like Logics.

Nitin Yadav, Sebastian Sardia

Browse the full JELIA paper archive.