@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@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.},
}