Making Task Abstractions Executable: Control-Aware Layout Repair for a Fixed Controller

Key points

• Starting from a supplied structured task record, we compile whole-task tracking, clearance, and actuation requirements into auditable affine layout constraints.1
• We repair only declared continuous coordinates, preserving event order, timing, topology, and the controller.1
• A most-violated-row update admits conditional finite-certification and net-displacement bounds; a same-compiler quadratic projection separates the representation from the optimizer.1
• A risk-target sweep also exposes fixed event tests that the chosen certificate cannot satisfy through layout edits alone.1

Sources (1)

• [1]Making Task Abstractions Executable: Control-Aware Layout Repair for a Fixed Controller
  arXiv (AI, ML, NLP, CV, robotics, multi-agent) · Oct 7, 03:45 PM

  A task abstraction can specify the intended events while its spatial layout prevents a fixed agent and controller from completing them.

  Starting from a supplied structured task record, we compile whole-task tracking, clearance, and actuation requirements into auditable affine layout constraints.

Extractive summary: sentences quoted from the sources.