Title: Formal models of agents
Subjects: Intelligent agents (Computer software), Formal methods (Computer science)