Tzanis Anevlavis

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