Backpropagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods
专题命中 其他机器人 :robotics(abstract,comments)
Comments First published in the Workshop on Algorithmic Foundations of Robotics 2020, and extended version invited to a Special Issue in the International Journal of Robotics Research