Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods

Bibliographische Detailangaben

Veröffentlicht in:	Workshop on the Algorithmic Foundations of Robotics (14. : 2020 : Oulu) Algorithmic foundations of robotics XIV
1. Verfasser:	Leung, Karen (VerfasserIn)
Weitere Verfasser:	Arechiga, Nikos (VerfasserIn), Pavone, Marco (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!