Finite-state actor-critic mean dynamics possess compact global attractors for each positive separation parameter and converge to a reduced invariant-law system under exponential mixing and stability assumptions, with all theorems formally verified in Lean 4.
Truquet, A Perturbation Analysis of Markov Chains Models with Time-Varying Parameters, Bernoulli26(2020), 2876–2906
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.DS 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Global attractors and fast-slow reduction for finite-state actor-critic mean dynamics
Finite-state actor-critic mean dynamics possess compact global attractors for each positive separation parameter and converge to a reduced invariant-law system under exponential mixing and stability assumptions, with all theorems formally verified in Lean 4.