Expressive Power of WSTL Formulas for Learning to Rank

Ruya Karagulle, Gustavo A. Cardona, Necmiye Ozay +1

Weighted Signal Temporal Logic (WSTL) is increasingly used as a scoring function in learning-to-rank problems of trajectories with safety guarantees, where its weighted quantitativ…