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},
}