Template-Based Synthesis of Plan Execution Monitors | Publicación