Login / Signup
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