304 citations · 405 across the 25 of their papers we have counts for
1 paper · 2 filters
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…