Branch-and-Bound Optimization of a Multiagent System for Flow Production using Model Checking.

Stefan Edelkamp, Christoph Greulich

Browse the full ICAART paper archive.