@收款{zbMATH07317087，作者={Hasanbeig、Mohammadhosein和Kroening、Daniel和Abate、Alessandro}，标题={用时序逻辑进行深度强化学习}，BookTitle={定时系统的正式建模和分析。第18届国际会议，FORMATS 2020，奥地利维也纳，2020年9月1日至3日。诉讼}，国际标准图书编号={978-3-030-57627-1；978-3-0.30-57628-8}，页码={1--22}，年份={2020年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-57628-8_1}，关键词={68T07,03B44,03D05,68T27}，zbMATH={7317087}，Zbl={1455.68190}}