activity
20232026
most citedTowards Proved Formal Specification and Verification of STL Operators as Synchronous Observers

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

collaborators
Showing math.OCShow all

1 paper · 1 filter

math.OC2024

Optimization with Temporal and Logical Specifications via Generalized Mean-based Smooth Robustness Measures

Samet Uzun, Purnanand Elango, Pierre-Loic Garoche +1

This paper introduces a generalized mean-based C^1-smooth robustness measure over discrete-time signals (D-GMSR) for signal temporal logic (STL) specifications. In conjunction with…