Edelkamp, S.; Greulich, C.
Branch-and-Bound Optimization of a Multiagent System for Flow Production using Model Checking
In: van den Herik, J.; Filipe, J. (eds.): .): Proceedings of the 8th International Conference on Agents and Artificial Intelligence. Volume 1: ICAART. SciTePress, 2016, pp. 27-37
(Workgroups:
IAI,
IGS)
