Sequential decision problems, dependent types and generic solutions
暂无分享,去创建一个
Cezar Ionescu | Nicola Botta | Patrik Jansson | David R. Christiansen | Edwin Brady | Edwin C. Brady | N. Botta | C. Ionescu | D. Christiansen | Patrik Jansson
[1] Cezar Ionescu,et al. Dependently-Typed Programming in Scientific Computing - Examples from Economic Modelling , 2012, IFL.
[2] Richard S. Sutton,et al. Reinforcement Learning: An Introduction , 2005, IEEE Transactions on Neural Networks.
[3] Dimitri P. Bertsekas,et al. Dynamic Programming and Optimal Control, Two Volume Set , 1995 .
[4] E. Reingold,et al. Combinatorial Algorithms: Theory and Practice , 1977 .
[5] Sean R Eddy,et al. What is dynamic programming? , 2004, Nature Biotechnology.
[6] C. Ionescu. Vulnerability modeling and monadic dynamical systems , 2009 .
[7] Oege de Moor. A Generic Program for Sequential Decision Processes , 1995, PLILP.
[8] Shin-Cheng Mu,et al. Algebra of programming in Agda: Dependent types for relational program derivation , 2009, J. Funct. Program..
[9] Richard S. Bird,et al. Algebra of programming , 1997, Prentice Hall International series in computer science.
[10] Xin-She Yang,et al. Introduction to Algorithms , 2021, Nature-Inspired Optimization Algorithms.
[11] Cezar Ionescu,et al. Sequential decision problems, dependently-typed solutions , 2013, CICM Workshops.
[12] Cezar Ionescu,et al. Testing versus proving in climate impact research , 2011, TYPES.