Follow
Tzanis Anevlavis
Title
Cited by
Cited by
Year
Computing controlled invariant sets in two moves
T Anevlavis, P Tabuada
2019 IEEE 58th Conference on Decision and Control (CDC), 6248-6254, 2019
152019
Evrostos: the rLTL verifier
T Anevlavis, D Neider, M Philippe, P Tabuada
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
92019
Verifying rLTL formulas: now faster than ever before!
T Anevlavis, M Philippe, D Neider, P Tabuada
2018 IEEE Conference on Decision and Control (CDC), 1556-1561, 2018
92018
An enhanced hierarchy for (robust) controlled invariance
T Anevlavis, Z Liu, N Ozay, P Tabuada
2021 American Control Conference (ACC), 4860-4865, 2021
72021
A simple hierarchy for computing controlled invariant sets
T Anevlavis, P Tabuada
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
72020
Debt stabilization in the presence of endogenous risk premia: A dynamic game approach
T Anevlavis, G Papavassilopoulos, J Engwerda, B van Aarle
Macroeconomic Dynamics 23 (7), 2616-2648, 2019
52019
Debt stabilization games in a monetary union: What are the effects of introducing eurobonds?
J Engwerda, B van Aarle, T Anevlavis
Journal of Macroeconomics 59, 78-102, 2019
52019
Being correct is not enough: efficient verification using robust linear temporal logic
T Anevlavis, M Philippe, D Neider, P Tabuada
ACM Transactions on Computational Logic (TOCL) 23 (2), 1-39, 2022
42022
Controlled invariant sets: implicit closed-form representations and applications
T Anevlavis, Z Liu, N Ozay, P Tabuada
arXiv preprint arXiv:2107.08566, 2021
42021
Split to win: near-optimal sensor network synthesis via path-greedy subproblems
J Bunton, T Anevlavis, G Verma, C Fragouli, P Tabuada
MILCOM 2021-2021 IEEE Military Communications Conference (MILCOM), 789-794, 2021
12021
Trust your supervisor: quadrotor obstacle avoidance using controlled invariant sets
L Pannocchi, T Anevlavis, P Tabuada
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2021
12021
Network synthesis for tactical environments: scenario, challenges, and opportunities
T Anevlavis, J Bunton, J Coleman, MG Dogan, E Grippo, A Souza, ...
Artificial Intelligence and Machine Learning for Multi-Domain Operations …, 2022
2022
A mithrilian approach to safety and robustness of autonomous cyber-physical systems
T Anevlavis
UCLA, 2022
2022
Automaton-based implicit controlled invariant set computation for discrete-time linear systems
Z Liu, T Anevlavis, N Ozay, P Tabuada
2021 60th IEEE Conference on Decision and Control (CDC), 1112-1119, 2021
2021
To beam or not to beam? Beamforming with submodularity-inspired group sparsity
T Anevlavis, J Bunton, A Parayil, J George, P Tabuada
2020 59th IEEE Conference on Decision and Control (CDC), 390-395, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–15