Dhananjay Raju, Niklas T. Lauffer, Ufuk Topcu. Reachability Games for Optimal Multi-agent Scheduling of Tasks with Variable Durations. In Weili Wu, Zhongnan Zhang, editors, Combinatorial Optimization and Applications - 14th International Conference, COCOA 2020, Dallas, TX, USA, December 11-13, 2020, Proceedings. Volume 12577 of Lecture Notes in Computer Science, pages 151-167, Springer, 2020. [doi]
Abstract is missing.