scientific article; zbMATH DE number 3823893

Cited in

(34)

Undecidable cases of model checking probabilistic temporal-epistemic logic (extended abstract)
Skolem and positivity completeness of ergodic Markov chains
On robustness for the Skolem, positivity and ultimate positivity problems
A comparison of algorithms for proving positivity of linearly recurrent sequences
Algebraic model checking for discrete linear dynamical systems
Positivity-hardness results on Markov decision processes
scientific article; zbMATH DE number 7559115 (Why is no real title available?)
Bounded height in pencils of subgroups of finite rank
Distribution of the ratios of the terms of a linear recurrence
An extension of holonomic sequences: \(C^2\)-finite sequences
On nearly linear recurrence sequences
A survey of computational complexity results in systems and control
On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond
Solving Skolem's problem for the \(k\)-generalized Fibonacci sequence with negative indices
On the complexity of robust eventual inequality testing for C-finite functions
Analyzing ultimate positivity for solvable systems
scientific article; zbMATH DE number 7407788 (Why is no real title available?)
First-order orbit queries
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters
Reachability problems for Markov chains
On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond
scientific article; zbMATH DE number 7559425 (Why is no real title available?)
Computing the density of the positivity set for linear recurrence sequences
On the Skolem problem and the Skolem conjecture
Occurrence of zero in a linear recursive sequence
The monadic theory of toric words
Dold sequences, periodic points, and dynamics
Équations exponentielles-polynômes et suites récurrentes linéaires. II. (Exponential polynomial equations and linear recurrence sequences. II)
Effective results on the Skolem problem for linear recurrence sequences
Linear recurrence sequences and the duality defect conjecture
What's decidable about discrete linear dynamical systems?
scientific article; zbMATH DE number 7788988 (Why is no real title available?)
On the multiplicities of Padovan-type sequences
On Cauchy-Liouville-Mirimanoff polynomials. II

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3671245)