activity
20192026
most citedControl Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning

12 citations · 35 across the 14 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.AI2024★ 1 cited

On the Uniqueness of Solution for the Bellman Equation of LTL Objectives

Zetong Xuan, Alper Kamil Bozkurt, Miroslav Pajic +1

Surrogate rewards for linear temporal logic (LTL) objectives are commonly utilized in planning problems for LTL objectives. In a widely-adopted surrogate reward approach, two disco…