%0 Conference Paper %1 conf/wafr/LeungAP21 %A Leung, Karen %A Aréchiga, Nikos %A Pavone, Marco %B WAFR %D 2021 %E LaValle, Steven M. %E Lin, Ming %E Ojala, Timo %E Shell, Dylan A. %E Yu, Jingjin %I Springer %K dblp %P 432-449 %T Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods. %U http://dblp.uni-trier.de/db/conf/wafr/wafr2021.html#LeungAP21 %V 17 %@ 978-3-030-66723-8

@inproceedings{conf/wafr/LeungAP21, added-at = {2022-12-19T00:00:00.000+0100}, author = {Leung, Karen and Aréchiga, Nikos and Pavone, Marco}, biburl = {https://www.bibsonomy.org/bibtex/2c7abfe92c1609808f2eb9e7a961a2a78/dblp}, booktitle = {WAFR}, crossref = {conf/wafr/2021}, editor = {LaValle, Steven M. and Lin, Ming and Ojala, Timo and Shell, Dylan A. and Yu, Jingjin}, ee = {https://doi.org/10.1007/978-3-030-66723-8_26}, interhash = {0d27d286c76cb60eda505114bca33318}, intrahash = {c7abfe92c1609808f2eb9e7a961a2a78}, isbn = {978-3-030-66723-8}, keywords = {dblp}, pages = {432-449}, publisher = {Springer}, series = {Springer Proceedings in Advanced Robotics}, timestamp = {2024-04-09T17:26:49.000+0200}, title = {Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods.}, url = {http://dblp.uni-trier.de/db/conf/wafr/wafr2021.html#LeungAP21}, volume = 17, year = 2021 }