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

von Leung, Karen
Veröffentlicht in Workshop on the Algorithmic Foundations of Robotics (14. : 2020 : Oulu) Algorithmic foundations of robotics XIV (2021)

Classification of Driving Behaviors Using STL Formulas: A Comparative Study

von Karagulle, Ruya
Veröffentlicht in FORMATS (20. : 2022 : Warschau) Formal modeling and analysis of timed systems (2022)

LEARNING IMBALANCED DATASETS WITH LABEL-DISTRIBUTION-AWARE MARGIN LOSS

von Cao, Kaidi
Veröffentlicht in NeurIPS (33. : 2019 : Vancouver, British Columbia) 32nd Conference on Neural Information Processing Systems (NeurIPS 2019) ; Volume 2 of 20 (2020)