ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications.
Austin M. Jones, Kevin Leahy, Cristian Ioan Vasile, Sadra Sadraddini, Zachary Serlin, Roberto Tron, Calin Belta
Browse the full ISRR paper archive.
Austin M. Jones, Kevin Leahy, Cristian Ioan Vasile, Sadra Sadraddini, Zachary Serlin, Roberto Tron, Calin Belta
Browse the full ISRR paper archive.