TY - RPRT TI - Incentive Design for Temporal Logic Objectives AU - Yagiz Savas AU - Vijay Gupta AU - Melkior Ornik AU - Lillian J. Ratliff AU - Ufuk Topcu PY - 2019 UR - https://arxiv.org/abs/1903.07752 ID - 1903.07752 ER -