@misc{indiciae707edc99ed75,
  title = {Temporal Stream Logic: Synthesis beyond the Bools},
  author = {Bernd Finkbeiner and Felix Klein and Ruzica Piskac and Mark Santolucito},
  year = {2019},
  url = {https://arxiv.org/abs/1712.00246},
  note = {Source identifier: 1712.00246}
}