Stefan Edelkamp, Christoph Greulich. Branch-and-Bound Optimization of a Multiagent System for Flow Production using Model Checking. In H. Jaap van den Herik, Joaquim Filipe, editors, Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), Volume 1, Rome, Italy, February 24-26, 2016. pages 27-37, SciTePress, 2016. [doi]
Abstract is missing.