63 citations · 188 across the 23 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
cs.RO2015★ 31 cited
Optimal Temporal Logic Planning in Probabilistic Semantic Maps
Jie Fu, Nikolay Atanasov, Ufuk Topcu +1
This paper considers robot motion planning under temporal logic constraints in probabilistic maps obtained by semantic simultaneous localization and mapping (SLAM). The uncertainty…
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…