New Optimizations and Heuristics for Determinization of Büchi Automata

In this work, we present multiple new optimizations and heuristics for the determinization of B\"uchi automata that exploit a number of semantic and structural properties, most of which may be applied together with any determinization procedure. We built a prototype implementation where all the...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2019-11
Hauptverfasser:	Löding, Christof, Pirogov, Anton
Format:	Artikel
Sprache:	eng
Schlagworte:	Heuristic
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!