Aksaray, Derya

2 publications

L4DC 2025 Probabilistic Satisfaction of Temporal Logic Constraints in Reinforcement Learning via Adaptive Policy-Switching Xiaoshan Lin, Sadik Bera Yuksel, Yasin Yazicioglu, Derya Aksaray
L4DC 2020 Tractable Reinforcement Learning of Signal Temporal Logic Objectives Harish Venkataraman, Derya Aksaray, Peter Seiler