Verifying rLTL formulas: now faster than ever before! - Tzanis Anevlavis; Matthew Philippe; Daniel Neider; Paulo Tabuada (CDC, 2018)

Computing controlled invariant sets in two moves. - Tzanis Anevlavis; Paulo Tabuada (CDC, 2019)

Evrostos: the rLTL verifier. - Tzanis Anevlavis; Daniel Neider; Matthew Philippe; Paulo Tabuada (HSCC, 2019)

To beam or not to beam? Beamforming with submodularity-inspired group sparsity. - Tzanis Anevlavis; Jonathan Bunton; Anjaly Parayil; Jemin George; Paulo Tabuada (CDC, 2020)

A simple hierarchy for computing controlled invariant sets. - Tzanis Anevlavis; Paulo Tabuada (HSCC, 2020)

An enhanced hierarchy for (robust) controlled invariance. - Tzanis Anevlavis; Zexiang Liu; Necmiye Ozay; Paulo Tabuada (ACC, 2021)

Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems. - Zexiang Liu; Tzanis Anevlavis; Necmiye Ozay; Paulo Tabuada (CDC, 2021)

Trust your supervisor: quadrotor obstacle avoidance using controlled invariant sets. - Luigi Pannocchi; Tzanis Anevlavis; Paulo Tabuada (IROS, 2021)

Split to win: near-optimal sensor network synthesis via path-greedy subproblems. - Jonathan Bunton; Tzanis Anevlavis; Gunjan Verma; Christina Fragouli; Paulo Tabuada (MILCOM, 2021)

Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic. - Tzanis Anevlavis; Matthew Philippe; Daniel Neider; Paulo Tabuada (ACM Trans. Comput. Log., 2022)

A mithrilian approach to safety and robustness of autonomous cyber-physical systems. - Tzanis Anevlavis (2022)

Controlled Invariant Sets: Implicit Closed-Form Representations and Applications. - Tzanis Anevlavis; Zexiang Liu; Necmiye Ozay; Paulo Tabuada (IEEE Trans. Autom. Control., 2024)