Title: Formal approaches to agent-based systems
Subjects: Congresses, Intelligent control systems, Software engineering