most citedBeing correct is not enough: efficient verification using robust linear temporal logic

23 citations · 29 across the 3 of their papers we have counts for

collaborators
Showing math.OCShow all

1 paper · 1 filter

math.OC2021★ 6 cited

Controlled invariant sets: implicit closed-form representations and applications

Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay +1

We revisit the problem of computing (robust) controlled invariant sets for discrete-time linear systems. Departing from previous approaches, we consider implicit, rather than expli…