Efficient approach of translating LTL formulae into Büchi automata.

Lai-Xiang Shan Xiaomin Du Zheng Qin

Published in: Frontiers Comput. Sci. (2015)

Keyphrases

deterministic automata
domain specific
cellular automata
temporal logic
learning algorithm
relational databases
finite state