Skolem and positivity completeness of ergodic Markov chains (Q6551702)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Skolem and positivity completeness of ergodic Markov chains |
scientific article; zbMATH DE number 7861406
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Skolem and positivity completeness of ergodic Markov chains |
scientific article; zbMATH DE number 7861406 |
Statements
Skolem and positivity completeness of ergodic Markov chains (English)
0 references
7 June 2024
0 references
formal methods
0 references
ergodic Markov chains
0 references
reachability
0 references
model checking
0 references
linear recurrence sequences
0 references
0 references
