@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@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.},
}