Venue. EMSOFT International Conference on Embedded Software · Conference 2022 Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic jeannin-2022-workEMSOFT · 2022 DOI