Skolem and positivity completeness of ergodic Markov chains
From MaRDI portal
Publication:6551702
DOI10.1016/J.IPL.2024.106481zbMATH Open1541.68228MaRDI QIDQ6551702FDOQ6551702
Authors: Mihir Vahanwala 
Publication date: 7 June 2024
Published in: Information Processing Letters (Search for Journal in Brave)
Recommendations
- Reachability problems for Markov chains
- Decidability of approximate Skolem problem and applications to logical verification of dynamical properties of Markov chains
- Decisive Markov Chains
- Complexity of Restricted Variants of Skolem and Related Problems
- Approximate verification of the symbolic dynamics of Markov chains
Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- Nonparametric statistics for stochastic processes
- A note on recurring series
- Title not available (Why is that?)
- On the positivity problem for simple linear recurrence sequences
- Positivity problems for low-order linear recurrence sequences
- Deux propriétés décidables des suites récurrentes linéaires
- A Logic of Probability with Decidable Model Checking
- Title not available (Why is that?)
- Reachability problems for Markov chains
- Approximate verification of the symbolic dynamics of Markov chains
- Generalized Automata and Stochastic Languages
- Ultimate positivity is decidable for simple linear recurrence sequences
- Reprint: An arithmetic property of Taylor coefficients of rational functions (1935)
- Einige Sätze über \(p\)-adische Potenzreihen mit Anwendung auf gewisse exponentielle Gleichungen.
- MDPs as distribution transformers: affine invariant synthesis for safety objectives
- Skolem meets schanuel
This page was built for publication: Skolem and positivity completeness of ergodic Markov chains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6551702)
