Formal Methods with a Touch of Magic

Mathematics

• Reinforcement Learning 100%
• Formal Methods 91%
• Bounded Model Checking 73%
• Controller Design 61%
• Trustworthiness 38%
• Decision tree 28%
• Black Box 25%
• Machine Learning 24%
• Training 23%
• Reasoning 21%
• Neural Networks 20%
• Synthesis 20%
• Trace 17%
• Output 16%
• Model 14%
• Performance 13%

Engineering & Materials Science

• Formal methods 77%
• Reinforcement learning 66%
• Model checking 46%
• Controllers 23%
• Decision trees 21%
• Machine learning 16%
• Neural networks 13%