1 citations · 3 across the 13 of their papers we have counts for
5 papers · 1 filter
The Monadic Theory of Toric Words
Valérie Berthé, Toghrul Karimov, Joël Ouaknine +2
For which unary predicates is the MSO theory of the structure decidable? We survey the state of the art, leadin…
Characterising Robust Instances of Ultimate Positivity for Linear Dynamical Systems
Mihir Vahanwala
Linear Dynamical Systems, both discrete and continuous, are invaluable mathematical models in a plethora of applications such the verification of probabilistic systems, model check…
Unified Fairness for Weak Memory Verification
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole +2
We consider the verification of omega-regular linear temporal properties of concurrent programs running under weak memory semantics. We observe that in particular, these properties…
Skolem and Positivity Completeness of Ergodic Markov Chains
Mihir Vahanwala
We consider the following Markov Reachability decision problems that view Markov Chains as Linear Dynamical Systems: given a finite, rational Markov Chain, source and target states…
Robust Positivity Problems for Linear Recurrence Sequences
Mihir Vahanwala
Linear Recurrence Sequences (LRS) are a fundamental mathematical primitive for a plethora of applications such as the verification of probabilistic systems, model checking, computa…