| Bibliography | Voetter, Andreas: Adaptives Model-Checking reaktiver Systeme.
University of Stuttgart, Faculty of Computer Science, Student Thesis No. 2302 (2010).
25 pages, german.
|
|---|
| CR-Schema | F.2.2 (Nonnumerical Algorithms and Problems)
|
|---|
| 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.
|
|---|
Full text and
other links | PDF (469179 Bytes)
Access to students' publications restricted to the faculty due to current privacy regulations |
|---|
| Department(s) | University of Stuttgart, Institute of Computer Science, Software Reliability and Security
|
|---|
| Superviser(s) | Nowotka, Dirk |
|---|
| Entry date | November 18, 2010 |
|---|