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 the normal view instead:
scientific article; zbMATH DE number 7861406
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8687096834182739
0 references
0.790337324142456
0 references
0.7348507046699524
0 references
0.7145054340362549
0 references
0.6991764903068542
0 references
