TY - RPRT TI - Exact Model-Free Policy Iteration for Co-safe LTL Planning AU - Zetong Xuan AU - Yu Wang PY - 2026 DO - 10.1109/lcsys.2026.3702192 UR - https://arxiv.org/abs/2608.05047 ID - 2608.05047 ER -