Sigma*
From MaRDI portal
Cited in
(23)- Inferring regular languages and \(\omega\)-languages
- MiBench
- Regular \(\omega\)-languages with an informative right congruence
- libalf
- LearnLib
- Simulink Coder
- RALib
- Learning symbolic automata
- LOIS
- Symbolic string transformations with regular lookahead and rollback
- Learning the Language of Error
- NLambda
- CALF
- LEVER
- jq
- Learning register automata: from languages to program structures
- Learning the language of software errors
- Bex
- Saner
- Learning nominal automata
- A Myhill-Nerode theorem for register automata and symbolic trace languages
- Active learning for extended finite state machines
- Extended symbolic finite automata and transducers
This page was built for software: Sigma*
