Sign in

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

Lai-Xiang ShanZheng QinShengnan LiRenwei ZhangXiao Yang
Published in: J. Softw. (2014)
Keyphrases
  • learning algorithm
  • k means
  • optimal solution
  • dynamic programming
  • search space
  • probabilistic model
  • graphical models