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