6 citations · 18 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2016
Optimal Observation Mode Scheduling for Systems under Temporal Constraints
Eva Tesarova, Maria Svorenova, Jiri Barnat +1
Autonomous control systems use various sensors to decrease the amount of uncertainty under which they operate. While providing partial observation of the current state of the syste…
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…