Follow
Back-propagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods. (arXiv:2008.00097v1 [eess.SY]) http://arxiv.org/abs/2008.00097
Back-propagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods. (arXiv:2008.00097v1 [eess.SY]) http://arxiv.org/abs/2008.00097