Q-learning for Markov decision processes with a satisfiability criterion
scientific article; zbMATH DE number 6869139
scientific article