activity
20162022
most citedInferring Temporal Logic Properties from Data using Boosted Decision Trees

4 citations · 4 across the 5 of their papers we have counts for

collaborators
Showing eess.SYShow all

1 paper · 1 filter

eess.SY2020

Specifying User Preferences using Weighted Signal Temporal Logic

Noushin Mehdipour, Cristian-Ioan Vasile, Calin Belta

We extend Signal Temporal Logic (STL) to enable the specification of importance and priorities. The extension, called Weighted STL (wSTL), has the same qualitative (Boolean) semant…