New Frontiers in Formal Methods: Learning, Cyber-Physical Systems, Education, and Beyond

Sanjit A. Seshia. New Frontiers in Formal Methods: Learning, Cyber-Physical Systems, Education, and Beyond. CSI Journal of Computing, 2(4):R1:3–R1:13, June 2015.

Download

[pdf] 

Abstract

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.

BibTeX

@ARTICLE{seshia-csijnl15, 
  author    = {Sanjit A. Seshia},
  title     = {New Frontiers in Formal Methods: Learning, Cyber-Physical Systems, Education, and Beyond},
  journal= {CSI Journal of Computing},
  year={2015}, 
  volume={2}, 
  number={4}, 
  pages={R1:3--R1:13},
    Year = {2015},
    Month = {June},
    Abstract = {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.},
}