Verified Learning Without Regret

Verified Learning Without Regret
复制标题

验证学习无悔

DOI：
10.1007/978-3-319-89884-1
复制
发表时间：
2018
期刊：
27th European Symposium on Programming (ESOP
影响因子：
--
通讯作者：
Stewart, Gordon
Stewart, Gordon
中科院分区：
--
文献类型：
--
作者：
Merten, Samuel;Bagnall, Alexander;Stewart, Gordon

文献摘要

相似文献

人工智能;计算机体系结构计算机软件选择和评价;分布式计算机系统;形式逻辑;形式模型; Java;模型检验;处理机;程序编译器;程序验证;程序设计语言;语义学;分离逻辑;软件工程规范;定理证明;类型;系统验证
artificial intelligence; computer architecture; computer software selection and evaluation; distributed computer systems; formal logic; formal model; java; model checking; processors; program compilers; program verification; programming language; semantics; separation logic; software engineering specifications; theorem proving; type; systems verification