Matches in SemOpenAlex for { <https://semopenalex.org/work/W3104824432> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W3104824432 abstract "We present a computer-checked generic implementation for solving finite-horizon sequential decision problems. This is a wide class of problems, including inter-temporal optimizations, knapsack, optimal bracketing, scheduling, etc. The implementation can handle time-step dependent control and state spaces, and monadic representations of uncertainty (such as stochastic, non-deterministic, fuzzy, or combinations thereof). This level of genericity is achievable in a programming language with dependent types (we have used both Idris and Agda). Dependent types are also the means that allow us to obtain a formalization and computer-checked proof of the central component of our implementation: Bellman's principle of optimality and the associated backwards induction algorithm. The formalization clarifies certain aspects of backwards induction and, by making explicit notions such as viability and reachability, can serve as a starting point for a theory of controllability of monadic dynamical systems, commonly encountered in, e.g., climate impact research." @default.
- W3104824432 created "2020-11-23" @default.
- W3104824432 creator A5008465984 @default.
- W3104824432 creator A5016034567 @default.
- W3104824432 creator A5032737176 @default.
- W3104824432 creator A5042121684 @default.
- W3104824432 creator A5044964812 @default.
- W3104824432 date "2016-10-23" @default.
- W3104824432 modified "2023-09-27" @default.
- W3104824432 title "Sequential decision problems, dependent types and generic solutions" @default.
- W3104824432 cites W1514415888 @default.
- W3104824432 cites W1554287520 @default.
- W3104824432 cites W159622052 @default.
- W3104824432 cites W2098432798 @default.
- W3104824432 cites W2105534596 @default.
- W3104824432 cites W2121863487 @default.
- W3104824432 cites W2266816660 @default.
- W3104824432 cites W2341171179 @default.
- W3104824432 hasPublicationYear "2016" @default.
- W3104824432 type Work @default.
- W3104824432 sameAs 3104824432 @default.
- W3104824432 citedByCount "0" @default.
- W3104824432 crossrefType "posted-content" @default.
- W3104824432 hasAuthorship W3104824432A5008465984 @default.
- W3104824432 hasAuthorship W3104824432A5016034567 @default.
- W3104824432 hasAuthorship W3104824432A5032737176 @default.
- W3104824432 hasAuthorship W3104824432A5042121684 @default.
- W3104824432 hasAuthorship W3104824432A5044964812 @default.
- W3104824432 hasConcept C102944935 @default.
- W3104824432 hasConcept C105795698 @default.
- W3104824432 hasConcept C106189395 @default.
- W3104824432 hasConcept C111472728 @default.
- W3104824432 hasConcept C113138325 @default.
- W3104824432 hasConcept C11413529 @default.
- W3104824432 hasConcept C126255220 @default.
- W3104824432 hasConcept C136643341 @default.
- W3104824432 hasConcept C138885662 @default.
- W3104824432 hasConcept C144237770 @default.
- W3104824432 hasConcept C154945302 @default.
- W3104824432 hasConcept C159886148 @default.
- W3104824432 hasConcept C160343169 @default.
- W3104824432 hasConcept C177142836 @default.
- W3104824432 hasConcept C206729178 @default.
- W3104824432 hasConcept C2777212361 @default.
- W3104824432 hasConcept C28826006 @default.
- W3104824432 hasConcept C33923547 @default.
- W3104824432 hasConcept C37404715 @default.
- W3104824432 hasConcept C41008148 @default.
- W3104824432 hasConcept C48209547 @default.
- W3104824432 hasConcept C80444323 @default.
- W3104824432 hasConceptScore W3104824432C102944935 @default.
- W3104824432 hasConceptScore W3104824432C105795698 @default.
- W3104824432 hasConceptScore W3104824432C106189395 @default.
- W3104824432 hasConceptScore W3104824432C111472728 @default.
- W3104824432 hasConceptScore W3104824432C113138325 @default.
- W3104824432 hasConceptScore W3104824432C11413529 @default.
- W3104824432 hasConceptScore W3104824432C126255220 @default.
- W3104824432 hasConceptScore W3104824432C136643341 @default.
- W3104824432 hasConceptScore W3104824432C138885662 @default.
- W3104824432 hasConceptScore W3104824432C144237770 @default.
- W3104824432 hasConceptScore W3104824432C154945302 @default.
- W3104824432 hasConceptScore W3104824432C159886148 @default.
- W3104824432 hasConceptScore W3104824432C160343169 @default.
- W3104824432 hasConceptScore W3104824432C177142836 @default.
- W3104824432 hasConceptScore W3104824432C206729178 @default.
- W3104824432 hasConceptScore W3104824432C2777212361 @default.
- W3104824432 hasConceptScore W3104824432C28826006 @default.
- W3104824432 hasConceptScore W3104824432C33923547 @default.
- W3104824432 hasConceptScore W3104824432C37404715 @default.
- W3104824432 hasConceptScore W3104824432C41008148 @default.
- W3104824432 hasConceptScore W3104824432C48209547 @default.
- W3104824432 hasConceptScore W3104824432C80444323 @default.
- W3104824432 hasLocation W31048244321 @default.
- W3104824432 hasOpenAccess W3104824432 @default.
- W3104824432 hasPrimaryLocation W31048244321 @default.
- W3104824432 hasRelatedWork W130755728 @default.
- W3104824432 hasRelatedWork W1315694 @default.
- W3104824432 hasRelatedWork W1546878666 @default.
- W3104824432 hasRelatedWork W1596723206 @default.
- W3104824432 hasRelatedWork W1972480948 @default.
- W3104824432 hasRelatedWork W1989058323 @default.
- W3104824432 hasRelatedWork W2023055783 @default.
- W3104824432 hasRelatedWork W2030875267 @default.
- W3104824432 hasRelatedWork W2035729130 @default.
- W3104824432 hasRelatedWork W2057097914 @default.
- W3104824432 hasRelatedWork W2074272702 @default.
- W3104824432 hasRelatedWork W2106500031 @default.
- W3104824432 hasRelatedWork W2133767276 @default.
- W3104824432 hasRelatedWork W2313716282 @default.
- W3104824432 hasRelatedWork W2331781799 @default.
- W3104824432 hasRelatedWork W2889187308 @default.
- W3104824432 hasRelatedWork W2952090895 @default.
- W3104824432 hasRelatedWork W2971122962 @default.
- W3104824432 hasRelatedWork W2999111365 @default.
- W3104824432 hasRelatedWork W3194642185 @default.
- W3104824432 isParatext "false" @default.
- W3104824432 isRetracted "false" @default.
- W3104824432 magId "3104824432" @default.
- W3104824432 workType "article" @default.