Verifying Multi -Agent Coordination Correctness for BDI Agents.

Geeta Mahala, Aditya Ghose, Hoa Khanh Dam, Angela Consoli

Browse the full COMPSAC paper archive.