Formalising dynamic protocols for open agent systems.

Alexander Artikis

Browse the full ICAIL paper archive.