#自动规划

FOND 规划领域的新工作，用反链表示必胜状态集，一个求解器同时搞定强规划和尽力而为规划，大实例上跑得比 PR2 和 BeSyftP 还快。