Compositional Approach to Suspension and Other Improvements to LTL Translation.
Tomás BabiakThomas BadieAlexandre Duret-LutzMojmír KretínskýJan StrejcekPublished in: SPIN (2013)
Keyphrases
- model checking
- temporal logic
- machine translation
- bounded model checking
- query translation
- hybrid intelligent
- linear time temporal logic
- real time
- data sets
- neural network
- genetic algorithm
- knowledge representation
- statistical machine translation
- machine translation system
- language resources
- deterministic automata