Applications of automata learning in verification and synthesis

by Daniel Neider
Reference:
Applications of automata learning in verification and synthesis (Daniel Neider), Publikationsserver der RWTH Aachen University, 2014. (Aachen, Techn. Hochsch., Diss., 2014)
Bibtex Entry:
@PHDTHESIS{Neider:444982,
      author       = {Neider, Daniel},
      othercontributors = {Löding, Christof},
      title        = {{A}pplications of automata learning in verification and
                      synthesis},
      address      = {Aachen},
      publisher    = {Publikationsserver der RWTH Aachen University},
      pages        = {XV, 267 S. : graph. Darst.},
      year         = {2014},
      note         = {Aachen, Techn. Hochsch., Diss., 2014},
      keywords     = {Theoretische Informatik (SWD) / Synthese (SWD) /
                      Verifikation (SWD) / Maschinelles Lernen (SWD) /
                      Automatentheorie (SWD) / Invariante (SWD)},
      cin          = {120000 / 122110},
      ddc          = {Informatik},
      cid          = {$I:(DE-82)120000_20140620$ / $I:(DE-82)122110_20140620$},
      shelfmark    = {68Q45 * 68Q32 * 05C57 * 68Q60},
      typ          = {PUB:(DE-HGF)11},
      urn          = {urn:nbn:de:hbz:82-opus-51699},
      url          = {http://publications.rwth-aachen.de/record/444982},
}

Bookmark the permalink.