OAI/Probability/SKValue/Control/
81 declarations, 0 contain sorry, 0 declared as axioms; 14 files
Files
- ControlIntegral.lean 9 declarations
- ControlPayoffConvex.lean 6 declarations
- ControlStability.lean 7 declarations
- ControlValue.lean 5 declarations
- ControlVerification.lean 2 declarations
- Controls.lean 10 declarations
- FiniteStepControl.lean 2 declarations
- Forced.lean 2 declarations
- PhiRegularity.lean 10 declarations
- PolynomialGenerator.lean 4 declarations
- Regularity.lean 8 declarations
- StripRegularity.lean 7 declarations
- SupStability.lean 5 declarations
- Verification.lean 4 declarations