Actively learning to verify safety for FIFO automata

Keyphrases

• Automata 100%
• Reachable States 100%
• Large Classes 25%
• Coding Scheme 25%
• Learning Algorithm 25%
• Java 25%
• Machine Learning Techniques 25%
• Safety Properties 25%
• Novel Procedure 25%
• Regular Languages 25%
• Finite State Machine 25%
• Membership Query 25%
• Equivalence Queries 25%
• FIFO Systems 25%
• FIFO Channel 25%
• Unsafe States 25%
• L* Algorithm 25%

Computer Science

• Automaton 100%
• Reachable State 100%
• Case Study 25%
• Encoding Scheme 25%
• Learning Algorithm 25%
• Machine Learning Technique 25%
• Finite-State Machine 25%
• Regular Language 25%
• Query Equivalence 25%