@misc{indiciaef02d71995069,
  title = {Constraint Satisfaction Propagation: Non-stationary Policy Synthesis for Temporal Logic Planning},
  author = {Thomas J. Ringstrom and Paul R. Schrater},
  year = {2019},
  url = {https://arxiv.org/abs/1901.10405},
  note = {Source identifier: 1901.10405}
}