Publication detail

Simulations and Antichains for Efficient Handling of Finite Automata

HOLÍK, L.

Original Title

Simulations and Antichains for Efficient Handling of Finite Automata

Type

dissertation

Language

English

Keywords

Finite automata, finite tree automata, alternating Büchi automata, nondeterminism, simulation, bisimulation, universality, language inclusion, antichain, quotienting, regular tree model checking.

Authors

HOLÍK, L.

Released

18. 3. 2011

Publisher

Department of Intelligent Systems FIT BUT

Location

Brno

Pages count

128

URL

https://www.fit.vut.cz/research/publication/9517/

BibTex

@phdthesis{BUT192737,
  author="Lukáš {Holík}",
  title="Simulations and Antichains for Efficient Handling of Finite Automata",
  publisher="Department of Intelligent Systems FIT BUT",
  address="Brno",
  pages="128",
  year="2011",
  url="https://www.fit.vut.cz/research/publication/9517/"
}

Documents

phdthesis.pdf