235 citations · 356 across the 13 of their papers we have counts for
1 paper · 1 filter
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh +3
Signal Temporal Logic (STL) is a formalism used to rigorously specify requirements of cyberphysical systems (CPS), i.e., systems mixing digital or discrete components in interactio…