The following pages link to GOAL (Q33040):
Displaying 6 items.
- Mediating for reduction (on minimizing alternating Büchi automata) (Q740970) (← links)
- Tool support for learning Büchi automata and linear temporal logic (Q1019031) (← links)
- Mediating for reduction (on minimizing alternating Büchi automata) (Q2920108) (← links)
- State of B\"uchi Complementation (Q2938766) (← links)
- State Coverage Metrics for Specification-Based Testing with Büchi Automata (Q3012971) (← links)
- Testing with Büchi Automata: Transition Coverage Metrics, Performance Analysis, and Property Refinement (Q5348534) (← links)