@inbook{dc95aa48b7e04fa4807749e529b291dc,
title = "Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods",
keywords = "Back-propagation, Computation graph, Logical structure, Robustness, Signal temporal logic",
author = "Karen Leung and Nikos Arechiga and Marco Pavone",
note = "Publisher Copyright: {\textcopyright} 2021, The Author(s), under exclusive license to Springer Nature Switzerland AG.",
year = "2021",
doi = "10.1007/978-3-030-66723-8_26",
language = "English",
series = "Springer Proceedings in Advanced Robotics",
publisher = "Springer Science and Business Media B.V.",
pages = "432--449",
booktitle = "Springer Proceedings in Advanced Robotics",
address = "Germany",
}