The monadic theory of toric words.
Theor. Comput. Sci., 2025
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems.
Log. Methods Comput. Sci., 2024
Skolem and positivity completeness of ergodic Markov chains.
Inf. Process. Lett., 2024
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates.
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
Model Checking Markov Chains as Distribution Transformers.
Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024
Fairness and Liveness Under Weak Consistency.
Proceedings of the Taming the Infinities of Concurrency, 2024
The Monadic Theory of Toric Words.
CoRR, 2023
Characterising Robust Instances of Ultimate Positivity for Linear Dynamical Systems.
CoRR, 2023
Overcoming Memory Weakness with Unified Fairness.
CoRR, 2023
Robust Positivity Problems for low-order Linear Recurrence Sequences.
CoRR, 2023
Robust Positivity Problems for Linear Recurrence Sequences: The Frontiers of Decidability for Explicitly Given Neighbourhoods.
Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023
Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
On Robustness for the Skolem and Positivity Problems.
Proceedings of the 39th International Symposium on Theoretical Aspects of Computer Science, 2022