FONDANT: Strong and Best-Effort Planning via Antichains | TickerVault