2 citations · 3 across the 8 of their papers we have counts for
3 papers · 1 filter
Reward Machines for Signal Temporal Logic
Alper Kamil Bozkurt, Shangtong Zhang, Yuichi Motai
Signal temporal logic (STL) provides a formal language for specifying real-time properties of real-valued observations, along with a quantitative robustness score for monitoring sa…
Neuro-Logic Lifelong Learning
Bowen He, Xiaoan Xu, Alper Kamil Bozkurt +2
Solving Inductive Logic Programming (ILP) problems with neural networks is a key challenge in Neural-Symbolic Ar- tificial Intelligence (AI). While most research has focused on des…
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…