A General Framework for Robust Quantitative Semantics of Signal Temporal Logic.

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

Browse the full FM paper archive.