FONDANT: Strong and Best-Effort Planning via Antichains.

arXiv:2609.35160v1 Announce Type: new Abstract: A classical solution concept in fully observable nondeterministic (FOND) planning, is the strong policy (aka winning strategy in the closely related area of reactive synthesis), i.e., such a policy ensures that t