Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic.

Jean-Baptiste Jeannin, Jiawei Chen, Jos Luiz Vargas de Mendona, Konstantinos Mamouras

Browse the full EMSOFT paper archive.