1 citations · 1 across the 4 of their papers we have counts for
1 paper · 2 filters
Zetong Xuan, Yu Wang
We study the synthesis of optimal policies for planning problems on Markov decision processes with both objectives and safety constraints specified in co-safe linear temporal logic…