Checking the Conformance of Requirements in Agent Designs Using ATL.

Nitin Yadav, John Thangarajah

Browse the full ECAI paper archive.