@文章{zbMATH07732224，作者={Hasanbeig、Hosein和Kroening、Daniel和Abate、Alessandro}，标题={经认证的逻辑指导强化学习}，FJournal={人工智能}，日志={Artif.Intern.}，ISSN={0004-3702}，体积={322}，页码={22}，注={Id/编号103949}，年份={2023}，语言={英语}，DOI={10.1016/j.artint.2023.103949}，关键词={68Txx}，zbMATH={7732224}}