Now showing items 1-2 of 2
Integrating reinforcement learning into a programming language
(Georgia Institute of Technology, 2017-06-26)
Reinforcement learning is a promising solution to the intelligent agent problem, namely, given the state of the world, which action should an agent take to maximize goal attainment. However, reinforcement learning algorithms ...
Combining logical and probabilistic reasoning in program analysis
(Georgia Institute of Technology, 2017-08-23)
Software is becoming increasingly pervasive and complex. These trends expose masses of users to unintended software failures and deliberate cyber-attacks. A widely adopted solution to enforce software quality is automated ...