12 citations · 35 across the 14 of their papers we have counts for
3 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 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…