Derya Aksaray

1. Q-Learning for Robust Satisfaction of Signal Temporal Logic\n Specifications
   2016/09/23 by Derya Aksaray, Austin Jones, Aksaray, Derya +7 · 11 citations
   Computer Science · #FOS: Electrical engineering #Formal Methods in Verification #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Tractable Reinforcement Learning of Signal Temporal Logic Objectives
   2020/01/26 by Harish K. Venkataraman, Venkataraman, Harish, Derya Aksaray +3 · 3 citations
   Computer Science · #Formal Methods in Verification #Constraint Satisfaction and Optimization #Evolutionary Algorithms and Applications
3. Probabilistically Guaranteed Satisfaction of Temporal Logic Constraints During Reinforcement Learning
   2021/02/19 by Derya Aksaray, Yasin Yazıcıoğlu, Aksaray, Derya +3 · 2 citations
   Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Optimization and Search Problems #Reinforcement Learning in Robotics #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
4. Reinforcement Learning Under Probabilistic Spatio-Temporal Constraints with Time Windows
   2023/07/29 by Xiaoshan Lin, Abbasali Koochakzadeh, Lin, Xiaoshan +5 · 1 citation
   Computer Science · #Formal Methods in Verification #Reinforcement Learning in Robotics