Tzanis Anevlavis

According to our database, Tzanis Anevlavis authored at least 12 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A mithrilian approach to safety and robustness of autonomous cyber-physical systems.

Tzanis Anevlavis

PhD thesis, 2022

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

2021

Controlled invariant sets: implicit closed-form representations and applications.

Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, Paulo Tabuada

CoRR, 2021

Split to win: near-optimal sensor network synthesis via path-greedy subproblems.

Jonathan Bunton, Tzanis Anevlavis, Gunjan Verma, Christina Fragouli, Paulo Tabuada

Proceedings of the 2021 IEEE Military Communications Conference, 2021

Trust your supervisor: quadrotor obstacle avoidance using controlled invariant sets.

Luigi Pannocchi, Tzanis Anevlavis, Paulo Tabuada

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems.

Zexiang Liu, Tzanis Anevlavis, Necmiye Ozay, Paulo Tabuada

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

An enhanced hierarchy for (robust) controlled invariance.

Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, Paulo Tabuada

Proceedings of the 2021 American Control Conference, 2021

2020

A simple hierarchy for computing controlled invariant sets.

Tzanis Anevlavis, Paulo Tabuada

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

To beam or not to beam? Beamforming with submodularity-inspired group sparsity.

Tzanis Anevlavis, Jonathan Bunton, Anjaly Parayil, Jemin George, Paulo Tabuada

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

Evrostos: the rLTL verifier.

Tzanis Anevlavis, Daniel Neider, Matthew Philippe, Paulo Tabuada

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Computing controlled invariant sets in two moves.

Tzanis Anevlavis, Paulo Tabuada

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

Verifying rLTL formulas: now faster than ever before!

Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada

Proceedings of the 57th IEEE Conference on Decision and Control, 2018