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