What’s decidable about linear loops? T Karimov, E Lefaucheux, J Ouaknine, D Purser, A Varonka, ... Proceedings of the ACM on Programming Languages 6 (POPL), 1-25, 2022 | 17 | 2022 |
What Else is Undecidable About Loops? L Kovács, A Varonka International Conference on Relational and Algebraic Methods in Computer …, 2023 | 2 | 2023 |
Words of minimum rank in deterministic finite automata J Kari, A Ryzhikov, A Varonka Developments in Language Theory: 23rd International Conference, DLT 2019 …, 2019 | 2 | 2019 |
From Polynomial Invariants to Linear Loops G Kenison, L Kovács, A Varonka Proceedings of the 2023 International Symposium on Symbolic and Algebraic …, 2023 | 1 | 2023 |
Linear Loop Synthesis for Quadratic Invariants S Hitarth, G Kenison, L Kovács, A Varonka arXiv preprint arXiv:2310.05120, 2023 | | 2023 |
On the Undecidability of Loop Analysis A Varonka, L Kovacs | | 2022 |
Semialgebraic Model Checking for Linear Dynamical Systems T Karimov, E Lefaucheux, J Ouaknine, D Purser, A Varonka, ... | | |