Affordable Access

Adaptives Model-Checking reaktiver Systeme

Authors
  • Voetter, Andreas
Publication Date
Oct 01, 2010
Source
Universität Stuttgart, Fakultät 5, Germany, Computer Science Archive
Keywords
Language
German
License
Unknown
External links

Abstract

Diese Arbeit befasst sich mit dem Lernen von formalen Sprachen. Dabei wird insbesondere auf das Lernen von DFAs und einer Untermenge von Büchi-Automaten eingegangen. Desweiteren wird die Verwendung solcher Algorithmen im Kontext des Adaptive-Model-Checking betrachtet.

Report this publication

Statistics

Seen <100 times