Congruence Relations for Büchi Automata.

Yong Li Yih-Kuen Tsay Moshe Y. Vardi

Published in: CoRR (2021)

Keyphrases

cellular automata
semantic relations
regular expressions
finite state
temporal relations
image sequences
finite automata
socio technical
causal relations