New Frontiers in Formal Methods: Learning, Cyber-Physical Systems, Education, and Beyond
New Frontiers in Formal Methods: Learning, Cyber-Physical Systems, Education, and Beyond
复制标题
形式化方法的新领域：学习、网络物理系统、教育等
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
S. Seshia
中科院分区：
文献类型：
--
作者：
S. Seshia
我们调查有前途的研究方向，在该地区的正式方法及其应用，包括基本问题的正式方法和机器学习的结合，并应用到网络物理系统和教育。索引条款-正式方法，机器学习，网络物理系统，教育。F
We survey promising directions for research in the area of formal methods and its applications, including fundamental questions about the combination of formal methods and machine learning, and applications to cyber- physical systems and education. Index Terms—Formal Methods, Machine Learning, Cyber-Physical Systems, Education. F