5 citations · 5 across the 2 of their papers we have counts for
Showing cs.ROShow all
2 papers · 1 filter
cs.RO2013★ 5 cited
Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints
Mária Svoreňová, Ivana Černá, Calin Belta
In this paper, we develop a provably correct optimal control strategy for a finite deterministic transition system. By assuming that penalties with known probabilities of occurrenc…
cs.RO2012
Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints
Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta
In this paper, we present a method for optimal control synthesis of a plant that interacts with a set of agents in a graph-like environment. The control specification is given as a…