Fuzzy-neuro-controlled verified instruction scheduler
暂无分享,去创建一个
Martin Spott | Martin A. Riedmiller | Thilo S. Gaul | Martin Riedmiller | Ralf Schoknecht | Ralf Schoknecht | M. Spott | T. Gaul
[1] Chris Watkins,et al. Learning from delayed rewards , 1989 .
[2] Martin Spott,et al. First results on the application of the Fynesse control architecture , 1997, 1997 IEEE Aerospace Conference.
[3] Thilo S. Gaul,et al. Correct Programs without Proof? On Checker-Based Program Verification , 1998, Tool Support for System Specification, Development and Verification.
[4] Robert S. Boyer,et al. The Correctness Problem in Computer Science , 1982 .
[5] Martin A. Riedmiller,et al. A Neural Reinforcement Learning Approach to Learn Local Dispatching Policies in Production Scheduling , 1999, IJCAI.
[6] R. Bellman. Dynamic programming. , 1957, Science.
[7] Andrew G. Barto,et al. Learning to Act Using Real-Time Dynamic Programming , 1995, Artif. Intell..
[8] Gerhard Goos,et al. Construction of Verified Compiler Front-Ends with Program-Checking , 1999, Ershov Memorial Conference.