Conversion Algorithm of Linear-Time Temporal Logic to Buchi Automata.

Lai-Xiang Shan Zheng Qin Shengnan Li Renwei Zhang Xiao Yang

Published in: J. Softw. (2014)

Keyphrases

learning algorithm
k means
optimal solution
dynamic programming
search space
probabilistic model
graphical models