Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks

Mathematics

• Temporal Logic 100%
• Weighted Graph 88%
• Neural Networks 78%
• Framework 27%
• Baseline 26%
• User Preferences 22%
• Knowledge 18%
• Formal Analysis 16%
• K-nearest Neighbor 16%
• Artificial Neural Network 15%
• Decision tree 15%
• Support Vector Machine 15%
• Performance 14%
• Neuron 12%
• Learning 10%
• Human 10%
• Prediction 9%
• Evaluate 9%
• Operator 5%
• Form 4%

Engineering & Materials Science

• Temporal logic 98%
• Neural networks 50%
• Rain 13%
• Decision trees 11%
• Neurons 11%
• Support vector machines 9%