Constrained LTL Specification Learning from Examples

Keyphrases

• Linear Temporal Logic 100%
• Temporal Logic Specification 100%
• Logic Learning 60%
• Learning Problems 30%
• Logic Formulas 20%
• Negative Examples 20%
• Positive Instances 20%
• Learning Styles 10%
• Satisfiability Problem 10%
• Software Analysis 10%
• Efficient Generation 10%
• Minimality 10%
• Automated Synthesis 10%
• Comprehension Monitoring 10%
• Program Comprehension 10%
• Runtime Monitoring 10%

Computer Science

• Linear Temporal Logic 100%
• Learning Problem 30%
• Model Checking 10%
• Temporal Logic 10%
• Desirable Property 10%
• Satisfiability Problem 10%
• Program Comprehension 10%