LtlNfBa: Making LTL Translation More Practical.

Cong Tian Jun Song Zhenhua Duan Zhao Duan

Published in: SOFL+MSVL (2015)

Keyphrases

temporal logic
model checking
databases
machine translation
practical application
real world
learning algorithm
search algorithm
probabilistic model
information extraction
linear temporal logic
deterministic automata