Verification challenges for autonomous systems

Signe A. Redfield, Mae L. Seto

Research output: Chapter in Book/Report/Conference proceedingChapter

11 Citations (Scopus)
Original languageEnglish
Title of host publicationAutonomy and Artificial Intelligence
Subtitle of host publicationA Threat or Savior?
PublisherSpringer International Publishing
Pages103-127
Number of pages25
ISBN (Electronic)9783319597195
ISBN (Print)9783319597188
DOIs
Publication statusPublished - Aug 24 2017

ASJC Scopus Subject Areas

  • General Computer Science
  • General Engineering

Cite this