Pages that link to "Item:Q2018056"
From MaRDI portal
The following pages link to Generating models of infinite-state communication protocols using regular inference with abstraction (Q2018056):
Displaying 7 items.
- History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804) (← links)
- Active learning for extended finite state machines (Q736459) (← links)
- Generating models of infinite-state communication protocols using regular inference with abstraction (Q2018056) (← links)
- A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees (Q3303894) (← links)
- A Myhill-Nerode theorem for register automata and symbolic trace languages (Q5918650) (← links)
- Fingerprinting and analysis of Bluetooth devices with automata learning (Q6185823) (← links)
- Learning realtime one-counter automata (Q6535566) (← links)