AutoBlackTest: a tool for automatic black-box testing
Reinforcement Learning: An Introduction