Agent Modeling, Gaming Simulation, and Their Formal Description.
Kaihara, T., Kita, H., Takahashi, S., Funabashi, M. (eds) Innovative Systems Approach for Facilitating Smarter World, Design Science and Innovation, Springer