List of publications

Google Scholar  /  Github

Journal publications

  1. T. Anevlavis, Z. Liu, N. Ozay, and P. Tabuada, Controlled invariant sets: implicit closed-form representations and applications,” IEEE Transactions on Automatic Control.
  2. T. Anevlavis, M. Philippe, D. Neider, and P. Tabuada, Being correct is not enough: efficient verification using robust linear temporal logic,” ACM Transactions on Computational Logic, 2022.
  3. J. Engwerda, B. van Aarle, and T. Anevlavis, Debt stabilization games in a monetary union: What are the effects of introducing eurobonds?,”, Journal of Macroeconomics, Volume 59, 2019, 78-102.
  4. T. Anevlavis, G. Papavassilopoulos, J. Engwerda, and B. van Aarle, Debt stabilization in the presence of endogenous risk premia: A dynamic game approach,” Macroeconomic Dynamics, Volume 23 (7) pp. 2616-2648, 2019.

Conference publications

  1. J.Bunton, T. Anevlavis, G. Verna, C. Fragouli, and P. Tabuada, Split to win: near-optimal sensor network synthesis via path-greedy subproblems,” In 2021 IEEE Military Communications Conference (MILCOM).
  2. Z. Liu, T. Anevlavis, N. Ozay, and P. Tabuada, Automaton-based implicit controlled invariant set computation for discrete-time linear systems,” In 2021 IEEE 60th Conference on Decision and Control (CDC).
  3. L. Pannocchi, T. Anevlavis, and P. Tabuada, Trust your supervisor: quadrotor obstacle avoidance using controlled invariant sets,” In 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
  4. T. Anevlavis, Z. Liu, N. Ozay, and P. Tabuada, An enhanced hierarchy for (robust) controlled invariance,” In 2021 American Control Conference (ACC).
  5. T. Anevlavis, J. Bunton, A. Parayil, J. George, and P. Tabuada, To beam or not to beam? Beamforming with submodularity-inspired group sparsity,” In 2020 IEEE 59th Conference on Decision and Control (CDC).
  6. T. Anevlavis and P. Tabuada, A simple hierarchy for computing controlled invariant sets,” In Proceedings of the 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC ’20).
  7. T. Anevlavis and P. Tabuada, Computing controlled invariant sets in two moves,” In 2019 IEEE 58th Conference on Decision and Control (CDC).
  8. T. Anevlavis, D. Neider, M. Philippe, and P. Tabuada, Evrostos: The rLTL Verifier,” In Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC ’19).
  9. T. Anevlavis, M. Philippe, D. Neider, and P. Tabuada, Verifying rLTL formulas: now faster than ever before!,” In 2018 IEEE Conference on Decision and Control (CDC).




Back