Jean-François Raskin Yun Chen Tsai Synthesis from LTL with Reward Optimization in Sampled Oblivious Environments. 3-21 2024 SETTA https://doi.org/10.1007/978-981-96-0602-3_1 conf/setta/2024 db/conf/setta/setta2024.html#RaskinT24 streams/conf/setta