@Inproceedings{EPTCS331.3,
  author    = {Dreossi, Tommaso and Ballardin, Giorgio and Gupta, Parth and Bakus, Jan and Lin, Yu-Hsiang and Salaka, Vamsi},
  year      = {2021},
  title     = {Analysis of E-commerce Ranking Signals via Signal Temporal Logic},
  editor    = {Dang, Thao and Ratschan, Stefan},
  booktitle = {{\rm Proceedings 6th International Workshop on}
               Symbolic-Numeric methods for Reasoning about CPS and IoT,
               {\rm online, 31 August 2020}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {331},
  publisher = {Open Publishing Association},
  pages     = {33-42},
  doi       = {10.4204/EPTCS.331.3},
}