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