Formal proof for the constant trace forgetting factor
From MaRDI portal
Recommendations
- On memoryless provers and insincere verifiers
- A finite memory structure smoother with recursive form using forgetting factor
- scientific article; zbMATH DE number 879755
- A Forgetting Property of Reciprocal Chains
- Preserving strong equivalence while forgetting
- From forgetting signature elements to forgetting formulas in epistemic states
- A counter example to the exponential convergence of the directional forgetting algorithm
- Towards a stable trace formula
- A GENERALIZED MEMORYLESS PROPERTY
Cites work
This page was built for publication: Formal proof for the constant trace forgetting factor
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4735084)