research
∙
08/12/2023
Characterising Robust Instances of Ultimate Positivity for Linear Dynamical Systems
Linear Dynamical Systems, both discrete and continuous, are invaluable m...
share
research
∙
05/28/2023
Overcoming Memory Weakness with Unified Fairness
We consider the verification of liveness properties for concurrent progr...
research
∙
05/08/2023
Skolem and Positivity Completeness of Ergodic Markov Chains
We consider the following decision problems: given a finite, rational Ma...
research
∙
05/08/2023
Robust Positivity Problems for low-order Linear Recurrence Sequences
Linear Recurrence Sequences (LRS) are a fundamental mathematical primiti...
research
∙
11/04/2022
