TY - RPRT TI - Optimal Planning for Timed Partial Order Specifications AU - Kandai Watanabe AU - Georgios Fainekos AU - Bardh Hoxha AU - Morteza Lahijanian AU - Hideki Okamoto AU - Sriram Sankaranarayanan PY - 2024 UR - https://arxiv.org/abs/2405.00687 ID - 2405.00687 ER -