Determinization of Büchi Automata : Unifying the Approaches of Safra and Muller-Schupp

Löding, Christof (Corresponding author); Pirogov, Anton (Corresponding author)

Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing (2019)
Contribution to a book, Contribution to a conference proceedings

In: 46th International Colloquium on Automata, Languages and Programming : ICALP 2019, July 9-12, 2019, Patras, Greece / Christel Baier and Ioannis Chatzigiannakis and Paola Flocchini and Stefano Leonardi (Eds.)
Page(s)/Article-Nr.: 120, 1-13

Institutions

  • UnRAVeL Research Training Group [080060]
  • Department of Computer Science [120000]
  • Chair of Computer Science 7 (Logic and Theory of Discrete Systems) [122910]