2 citations · 3 across the 12 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
eess.SY2022
Entropy Rate Maximization of Markov Decision Processes under Linear Temporal Logic Tasks
Yu Chen, Shaoyuan Li, Xiang Yin
We investigate the problem of synthesizing optimal control policies for Markov decision processes (MDPs) with both qualitative and quantitative objectives. Specifically, our goal i…
eess.SY2022
You Don't Know When I Will Arrive: Unpredictable Controller Synthesis for Temporal Logic Tasks
Yu Chen, Shuo Yang, Rahul Mangharam +1
In this paper, we investigate the problem of synthesizing controllers for temporal logic specifications under security constraint. We assume that there exists a passive intruder (e…