@misc{indiciae367b9c6b56e3,
  title = {Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints},
  author = {Mária Svoreňová and Ivana Černá and Calin Belta},
  year = {2013},
  url = {https://arxiv.org/abs/1303.3533},
  note = {Source identifier: 1303.3533}
}