1 citations · 1 across the 4 of their papers we have counts for
1 paper · 2 filters
Zetong Xuan, Yu Wang
Linear Temporal Logic (LTL) is a formal way of specifying complex objectives for planning problems modeled as Markov Decision Processes (MDPs). The planning problem aims to find th…