Specification and verification of multi-agent systems - Dastani, Mehdi; Hindriks, Koen V.; Meyer, John-Jules Charles; SpringerLink (Online service) (Boston, MA : Springer Science+Business Media, LLC, 2010)
Keywords: Multiagent systems; Computer software -- Verification; Computer Science; Software Engineering/Programming and Operating Systems; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Software Engineering; Computing Methodologies