Verifying BDI Agents in Dynamic Environments.

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

Browse the full SEKE paper archive.