Computing controlled invariant sets in two moves T Anevlavis, P Tabuada 2019 IEEE 58th Conference on Decision and Control (CDC), 6248-6254, 2019 | 24 | 2019 |
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 | 20 | 2022 |
Controlled invariant sets: implicit closed-form representations and applications T Anevlavis, Z Liu, N Ozay, P Tabuada IEEE Transactions on Automatic Control, 2023 | 18 | 2023 |
Evrostos: the rLTL verifier T Anevlavis, D Neider, M Philippe, P Tabuada Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 14 | 2019 |
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 | 13 | 2018 |
An enhanced hierarchy for (robust) controlled invariance T Anevlavis, Z Liu, N Ozay, P Tabuada 2021 American Control Conference (ACC), 4860-4865, 2021 | 12 | 2021 |
A simple hierarchy for computing controlled invariant sets T Anevlavis, P Tabuada Proceedings of the 23rd International Conference on Hybrid Systems …, 2020 | 10 | 2020 |
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 | 9 | 2019 |
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 | 9 | 2019 |
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 | 3 | 2021 |
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 | 3 | 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 | 2 | 2020 |
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 | 1 | 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 | 1 | 2021 |
A mithrilian approach to safety and robustness of autonomous cyber-physical systems T Anevlavis UCLA, 2022 | | 2022 |