Bozkurt, Alper Kamil

1. Control Synthesis from Linear Temporal Logic Specifications using\n Model-Free Reinforcement Learning
   2019/01/01 by Alper Kamil Bozkurt, Bozkurt, Alper Kamil, Yu Wang +5 · 10 citations
   Computer Science · #Advanced Software Engineering Methodologies #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Reinforcement Learning in Robotics #Robotics (cs.RO)
2. Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives
   2020/10/02 by Bozkurt, Alper Kamil, Wang, Yu, Zavlanos, Michael +1 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Robotics (cs.RO)
3. Model-Free Learning of Safe yet Effective Controllers
   2021/03/26 by Bozkurt, Alper Kamil, Wang, Yu, Pajic, Miroslav · 2 citations
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Robotics (cs.RO)
4. Learning Optimal Strategies for Temporal Tasks in Stochastic Games
   2021/02/08 by Alper Kamil Bozkurt, Bozkurt, Alper Kamil, Yu Wang +5 · 1 citation
   Biochemistry, Genetics and Molecular Biology · Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Receptor Mechanisms and Signaling #Robotics (cs.RO)
5. Reinforcement Learning with Temporal Logic Constraints for Partially-Observable Markov Decision Processes
   2021/04/04 by Yu Wang, Alper Kamil Bozkurt, Wang, Yu +3 · 1 citation
   Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Reinforcement Learning in Robotics #Robotics (cs.RO)
6. Secure Planning Against Stealthy Attacks via Model-Free Reinforcement\n Learning
   2020/01/01 by Alper Kamil Bozkurt, Yu Wang, Bozkurt, Alper Kamil +3 · 2 citations
   Computer Science · Engineering · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Methods in Verification #Physical Unclonable Functions (PUFs) and Hardware Security #Robotics (cs.RO) #Smart Grid Security and Resilience
7. Attack-Resilient Supervisory Control of Discrete-Event Systems: A Finite-State Transducer Approach
   2019/04/05 by Yu Wang, Wang, Yu, Alper Kamil Bozkurt +5 · 1 citation
   Computer Science · Engineering · #Security and Verification in Computing #Semiconductor materials and devices #Smart Grid Security and Resilience
8. On the Uniqueness of Solution for the Bellman Equation of LTL Objectives
   2024/04/07 by Xuan, Zetong, Bozkurt, Alper Kamil, Pajic, Miroslav +1 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Robotics (cs.RO)