Tzanis Anevlavis

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 14

Top Topics

Iterative Procedure

Linear Temporal Logic

Top Venues

ACM Trans. Comput. Log.

Publications

Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, Paulo Tabuada
Controlled Invariant Sets: Implicit Closed-Form Representations and Applications. IEEE Trans. Autom. Control. 69 (7) (2024)
Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada
Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic. ACM Trans. Comput. Log. 23 (2) (2022)
Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, Paulo Tabuada
Controlled invariant sets: implicit closed-form representations and applications. CoRR (2021)
Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, Paulo Tabuada
An enhanced hierarchy for (robust) controlled invariance. ACC (2021)
Zexiang Liu, Tzanis Anevlavis, Necmiye Ozay, Paulo Tabuada
Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems. CoRR (2021)
Zexiang Liu, Tzanis Anevlavis, Necmiye Ozay, Paulo Tabuada
Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems. CDC (2021)
Luigi Pannocchi, Tzanis Anevlavis, Paulo Tabuada
Trust your supervisor: quadrotor obstacle avoidance using controlled invariant sets. IROS (2021)
Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada
Being correct is not enough: efficient verification using robust linear temporal logic. CoRR (2021)
Jonathan Bunton, Tzanis Anevlavis, Gunjan Verma, Christina Fragouli, Paulo Tabuada
Split to win: near-optimal sensor network synthesis via path-greedy subproblems. MILCOM (2021)
Tzanis Anevlavis, Jonathan Bunton, Anjaly Parayil, Jemin George, Paulo Tabuada
To beam or not to beam? Beamforming with submodularity-inspired group sparsity. CDC (2020)
Tzanis Anevlavis, Paulo Tabuada
A simple hierarchy for computing controlled invariant sets. HSCC (2020)
Tzanis Anevlavis, Paulo Tabuada
Computing controlled invariant sets in two moves. CDC (2019)
Tzanis Anevlavis, Daniel Neider, Matthew Phillipe, Paulo Tabuada
Evrostos: the rLTL verifier. HSCC (2019)
Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada
Verifying rLTL formulas: now faster than ever before! CDC (2018)