@inproceedings{savas2019incentive,
 archiveprefix = {arXiv},
 arxiv = {https://arxiv.org/abs/1903.07752},
 author = {Yagiz Savas and Vijay Gupta and Melkior Ornik and Lillian J Ratliff and Ufuk Topcu},
 booktitle = {2019 IEEE 58th Conference on Decision and Control (CDC)},
 eprint = {1903.07752},
 pages = {2251--2258},
 pdf = {https://arxiv.org/pdf/1903.07752},
 publisher = {IEEE},
 title = {{Incentive design for temporal logic objectives}},
 url = {https://ieeexplore.ieee.org/abstract/document/9029287/},
 year = {2019}
}