Analysis of E-commerce Ranking Signals via Signal Temporal Logic. - Tommaso Dreossi; Giorgio Ballardin; Parth Gupta; Jan Bakus; Yu-Hsiang Lin; Vamsi Salaka (SNR, 2020)