%0 Journal Article %1 journals/corr/abs-2008-00097 %A Leung, Karen %A Aréchiga, Nikos %A Pavone, Marco %D 2020 %J CoRR %K dblp %T Back-propagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods. %U http://dblp.uni-trier.de/db/journals/corr/corr2008.html#abs-2008-00097 %V abs/2008.00097

@article{journals/corr/abs-2008-00097, 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/2f7caf193003977544bd607ace5af0c91/dblp}, ee = {https://arxiv.org/abs/2008.00097}, interhash = {f0082abbd276953fa000d2a661364879}, intrahash = {f7caf193003977544bd607ace5af0c91}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:58:15.000+0200}, title = {Back-propagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2008.html#abs-2008-00097}, volume = {abs/2008.00097}, year = 2020 }