Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / WS 2018/19 / Oberseminar / Stephan Barth: SAT-based Minimization of various Automata Models


Inhaltsbereich

Stephan Barth: SAT-based Minimization of various Automata Models

Oberseminarvortrag von Stephan Barth über SAT-based Minimization of various Automata Models
Wann 14:15 15:00 19.10.2018
von bis
Wo Raum L109, Oettingenstr. 67
Termin übernehmen vCal
iCal

Es spricht Stephan Barth über:
SAT-based Minimization of various Automata Models

Abstract:
This work is an extension of my existing SAT-based minimization for
Büchi-automata.

The extended procedure allows for minimization of various automata
models. This is achieved by a minimization procedure for a new model,
which is purposly developed for a transparent minimization procedure,
such that minimization of this model enables the minimization of other
models. This includes Büchi-, Streett-, parity-, Rabin-, Muller-,
co-Büchi-, and generalized Büchi-automata.

The minimization procedure for an automaton A constructs a series of
SAT-formula for the desired automaton from example words and their
membership in L(A).

Small clauses are learned from these formula and carried over from one
formula to another to limit the need of example words that are used at
the same time.

Artikelaktionen


Funktionsleiste