Synthesis from LTL with Reward Optimization in Sampled Oblivious Environments.

Jean-Franois Raskin, Yun Chen Tsai

Browse the full SETTA paper archive.