@inproceedings{1cf846a244364dbdab830fe651f89694,
title = "Interpretable Policies from Formally-Specified Temporal Properties",
author = "Jonathan Decastro and Karen Leung and Nikos Ar{\'e}chiga and Marco Pavone",
note = "Publisher Copyright: {\textcopyright} 2020 IEEE.; 23rd IEEE International Conference on Intelligent Transportation Systems, ITSC 2020 ; Conference date: 20-09-2020 Through 23-09-2020",
year = "2020",
month = sep,
day = "20",
doi = "10.1109/ITSC45102.2020.9294442",
language = "English",
series = "2020 IEEE 23rd International Conference on Intelligent Transportation Systems, ITSC 2020",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "2020 IEEE 23rd International Conference on Intelligent Transportation Systems, ITSC 2020",
address = "United States",
}