1 citations · 1 across the 1 of their papers we have counts for
1 paper
Ali Baheri, Peng Wei
We present Stratified Metric Temporal Logic (SMTL), a novel formalism for specifying and verifying properties of complex cyber-physical systems that exhibit behaviors across multip…