Learning of Timed Systems

Regular inference is a research direction in machine learning. The goal of regular inference is to construct a representation of a regular language in the form of deterministic finite automaton (DFA) based on the set of positive and negative examples. DFAs take strings of symbols (words) as input, a...

Full description

Bibliographic Details
Main Author: Grinchtein, Olga
Format: Doctoral Thesis
Language:English
Published: Uppsala universitet, Avdelningen för datorteknik 2008
Subjects:
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-8763
http://nbn-resolving.de/urn:isbn:978-91-554-7207-8