Media type: E-Book Title: Buffered Simulation for Büchi Automata Contributor: Hutagalung, Milka [Verfasser] imprint: Kassel: Universitätsbibliothek Kassel, 2019 Extent: Online-Ressource Language: English DOI: 10.17170/kobra-20191014716 Identifier: Keywords: Robots ; Automatentheorie ; Büchi-Automat ; Simulation ; Unendliches Spiel Origination: University thesis: Dissertation, Kassel, Universität Kassel, 2018 Footnote: Access State: Open Access