Affordable Access

Adaptives Model-Checking reaktiver Systeme

Authors
Publication Date
Source
Universität Stuttgart, Fakultät 5, Germany, Computer Science Archive
Keywords
  • Nonnumerical Algorithms And Problems (Cr F.2.2)
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.

There are no comments yet on this publication. Be the first to share your thoughts.

Statistics

Seen <100 times
0 Comments