Bibliograph.
Daten | Voetter, Andreas: Adaptives Model-Checking reaktiver Systeme.
Universität Stuttgart, Fakultät Informatik, Studienarbeit Nr. 2302 (2010).
25 Seiten, deutsch.
|
|---|
| CR-Klassif. | F.2.2 (Nonnumerical Algorithms and Problems)
|
|---|
| Kurzfassung | 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.
|
|---|
Volltext und
andere Links | PDF (469179 Bytes)
Zugriff auf studentische Arbeiten aufgrund vorherrschender Datenschutzbestimmungen nur innerhalb der Fakultät möglich |
|---|
| Abteilung(en) | Universität Stuttgart, Institut für Informatik, Sichere und Zuverlässige Softwaresysteme
|
|---|
| Betreuer | Nowotka, Dirk |
|---|
| Eingabedatum | 18. November 2010 |
|---|