Specification and Verification of Multi-agent Systems - Dastani, Mehdi; Hindriks, Koen V.; Meyer, John-Jules Charles; SpringerLink (Online service) (Boston, MA : Springer US, 2010)
Keywords: Computer science; Software engineering; Electronic data processing; Artificial intelligence; Computer Science; Software Engineering/Programming and Operating Systems; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages; Software Engineering; Computing Methodologies