497 citations · 2.1k across the 297 of their papers we have counts for
Showing 2015 · eess.SYShow all
3 papers · 2 filters
eess.SY2015
Strategy Synthesis for Stochastic Rabin Games with Discounted Reward
Min Wen, Ufuk Topcu
Stochastic games are often used to model reactive processes. We consider the problem of synthesizing an optimal almost-sure winning strategy in a two-player (namely a system and it…
eess.SY2015★ 4 cited
Computational methods for stochastic control with metric interval temporal logic specifications
Jie Fu, Ufuk Topcu
This paper studies an optimal control problem for continuous-time stochastic systems subject to reachability objectives specified in a subclass of metric interval temporal logic sp…
eess.SY2015★ 3 cited
Optimal control in Markov decision processes via distributed optimization
Jie Fu, Shuo Han, Ufuk Topcu
Optimal control synthesis in stochastic systems with respect to quantitative temporal logic constraints can be formulated as linear programming problems. However, centralized synth…