TY - RPRT TI - Synthesis from LTL with Reward Optimization in Sampled Oblivious Environments AU - Jean-François Raskin AU - Yun Chen Tsai PY - 2024 UR - https://arxiv.org/abs/2410.08599 ID - 2410.08599 ER -