Book: Michael Huth and Mark Ryan, Logic in Computer Science: Modelling and Reasoning about Systems.
Info Link
Buy here
Book: Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen, Principles of Model Checking.
Ebook
Book: Reinforcement Learning: An Introduction.
Book Website
