Skip to content

Bellman calculus

definitions/be-ddsl

Initializing search

bright-forest/bellman-ddsl

Home
Overviews
Theory
Examples
dolo-plus Spec
Development

Bellman calculus

bright-forest/bellman-ddsl

Home
Overviews
Overviews
Theory
Theory
- A. MDP Foundations
  A. MDP Foundations
- B. Foundations of Bellman calculus
  B. Foundations of Bellman calculus
- C. Core DDSL/FFP Concepts
Examples
Examples
- Consumption-Savings IID
  Consumption-Savings IID
  - YAML Spec
  - Formal MDP
- Buffer Stock (Normalized)
- Housing Owner
  Housing Owner
- Retirement Choice (DCEGM)
- Housing Tenure-Choice
  Housing Tenure-Choice
- Portfolio-Consumption
  Portfolio-Consumption
- Notebooks
  Notebooks
  - Modular portfolio choice and consumption
dolo-plus Spec
dolo-plus Spec
- Syntax & Semantics
  Syntax & Semantics
- Reference
  Reference
Development
Development
- References
- Implementation Specs
  Implementation Specs
- Unified Framework
  Unified Framework
  - Overview
  - 1. Foundations
    1. Foundations
    
    1.1 Introduction & Objectives
    
    1.2 Relationship to Standard MDP
    
    1.3 Recursive Problem Definition
    
    1.4 Theoretical Propositions
    
    1.5 Deliberate Ambiguities
  - 2. Information & Dynamics
    2. Information & Dynamics
    
    2.1 Population Dynamics
    
    2.2 Information Sets
  - 3. Examples
    3. Examples
    
    3.1 Standard Architecture (overview)
    
    3.2 Cons Stage
    
    3.3 Port Stage
    
    3.4 Periods
    
    3.5 Port-with-shocks (V3: three-stage)
    3.5 Port-with-shocks (V3: three-stage)
    
    Overview
    
    Stage: port-nochoice
    
    Stage: port
    
    Stage: cons
    
    Period configurations
    
    3.6 Port-able stage (V4: two-stage)
    3.6 Port-able stage (V4: two-stage)
    
    Overview
    
    Stage: port-able
    
    Stage: cons
    
    Period configurations
  - 4. Computation
    4. Computation
    
    4.1 Computational Framework
    
    4.2 DAG Structure
    
    4.3 Backend Implementation
    
    4.4 Tensor Representation
  - Appendix: Reference
    Appendix: Reference
    
    Unicode → LaTeX
    
    Notation Index
  - Appendix: Variants
    Appendix: Variants
    
    Examples (Port-Cons)
    
    Examples (N)
    
    V3: Port-with-shocks (three-stage)
    
    V4: Port-able stage (two-stage)
- Modular MDPs (Dyn-X)
  Modular MDPs (Dyn-X)
  - Key Concepts
  - Modular Bellman Operators
- Matsya Impl
  Matsya Impl
  - 0.1a Rigorous RAG
- Phase 1.1 Presentations
  Phase 1.1 Presentations
- Dolo Explained
  Dolo Explained
- Research Notes
  Research Notes
- Tags
- Changelog

be-ddsl

definitions/be-ddsl¶

Christopher Carroll and Akshay Shanker — repository in development, please do not cite.

Made with Material for MkDocs