著者について

Mehdi Dastani is a prominent figure in the field of multi-agent systems, known for his contributions to programming languages, platforms, and applications dedicated to multi-agent programming. His work has significantly advanced the understanding and practical application of agents in computational systems, emphasizing the importance of specification and verification in multi-agent systems. Dastani's research addresses complex issues that arise in the design and implementation of systems where multiple agents interact, collaborate, and compete, thereby enriching the domain with new insights and methodologies.