Towards Verified Artificial Intelligence
Sanjit Seshia

Citation
Sanjit Seshia. "Towards Verified Artificial Intelligence". Talk or presentation, 24, October, 2017; Presented at SETTA 2017, Changsha, China.

Abstract
(No abstract.)

Electronic downloads

Internal. This publication has been marked by the author for TerraSwarm-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  Sanjit Seshia. <a
  href="http://www.terraswarm.org/pubs/1020.html"
  ><i>Towards Verified Artificial
  Intelligence</i></a>, Talk or presentation,  24,
  October, 2017; Presented at SETTA 2017, Changsha, China.

• Plain text

  Sanjit Seshia. "Towards Verified Artificial
  Intelligence". Talk or presentation,  24, October,
  2017; Presented at SETTA 2017, Changsha, China.

• BibTeX

  @presentation{Seshia17_TowardsVerifiedArtificialIntelligence,
      author = {Sanjit Seshia},
      title = {Towards Verified Artificial Intelligence},
      day = {24},
      month = {October},
      year = {2017},
      note = {Presented at SETTA 2017, Changsha, China},
      abstract = {(No abstract.)},
      URL = {http://terraswarm.org/pubs/1020.html}
  }
  

Posted by Sanjit Seshia on 14 Nov 2017.
Groups: tools