New Frontiers in Formal Methods: Learning, Cyber-Physical Systems, Education, and Beyond
Sanjit A. Seshia · 2015
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