Logically-Constrained Neural Fitted Q-Iteration.

Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening

Published in: CoRR (2018)

Keyphrases

fitted q iteration
reinforcement learning
probabilistic model
databases
neural network
information systems
case study
image sequences
expert systems