@misc{indiciae082830b17511,
  title = {Incentive Design for Temporal Logic Objectives},
  author = {Yagiz Savas and Vijay Gupta and Melkior Ornik and Lillian J. Ratliff and Ufuk Topcu},
  year = {2019},
  url = {https://arxiv.org/abs/1903.07752},
  note = {Source identifier: 1903.07752}
}