Checking The Correctness of Agent Designs Against Model-Based Requirements.

Yoosef B. Abushark, Michael Winikoff, Tim Miller, James Harland, John Thangarajah

Browse the full ECAI paper archive.