16 citations · 49 across the 10 of their papers we have counts for
Showing 2013Show 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.LO2013★ 6 cited
Optimal Control of MDPs with Temporal Logic Constraints
Maria Svorenova, Ivana Cerna, Calin Belta
In this paper, we focus on formal synthesis of control policies for finite Markov decision processes with non-negative real-valued costs. We develop an algorithm to automatically g…