Goal Recognition Design for Non-Optimal Agents | Synapse