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: CAV (2) (2022)

Keyphrases

decomposition method
database
artificial intelligence
three dimensional
high level
support vector
cost function
hidden markov models