Greulich, C.; Edelkamp, S.
Two Model Checking Approaches to Branch-and-Bound Optimization of a Flow Production System
In: van den Herik, J.; Filipe, J. (eds.): Agents and Artificial Intelligence. 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers. Springer International Publishing, 2017,
(Workgroups:
IAI,
IGS)
