12 citations · 37 across the 12 of their papers we have counts for
4 papers · 1 filter
Reinforcement Learning with Temporal Logic Constraints for Partially-Observable Markov Decision Processes
Yu Wang, Alper Kamil Bozkurt, Miroslav Pajic
This paper proposes a reinforcement learning method for controller synthesis of autonomous systems in unknown and partially-observable environments with subjective time-dependent s…
Model-Free Learning of Safe yet Effective Controllers
Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic
We study the problem of learning safe control policies that are also effective; i.e., maximizing the probability of satisfying a linear temporal logic (LTL) specification of a task…
Learning-Based Vulnerability Analysis of Cyber-Physical Systems
Amir Khazraei, Spencer Hallyburton, Qitong Gao +2
This work focuses on the use of deep learning for vulnerability analysis of cyber-physical systems (CPS). Specifically, we consider a control architecture widely used in CPS (e.g.,…
Learning Optimal Strategies for Temporal Tasks in Stochastic Games
Alper Kamil Bozkurt, Yu Wang, Michael M. Zavlanos +1
Synthesis from linear temporal logic (LTL) specifications provides assured controllers for systems operating in stochastic and potentially adversarial environments. Automatic synth…