Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition.

Yong Li Andrea Turrini Weizhi Feng Moshe Y. Vardi Lijun Zhang

Published in: CoRR (2022)

Keyphrases

real world
decomposition methods
decomposition method
training data
information gain
image decomposition
hierarchical decomposition