TY  - RPRT
TI  - Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints
AU  - Mária Svoreňová
AU  - Ivana Černá
AU  - Calin Belta
PY  - 2013
UR  - https://arxiv.org/abs/1303.3533
ID  - 1303.3533
ER  -