Sigma*
From MaRDI portal
Software:33533
swMATH21731MaRDI QIDQ33533FDOQ33533
Author name not available (Why is that?)
Cited In (11)
- Learning nominal automata
- Extended symbolic finite automata and transducers
- Symbolic String Transformations with Regular Lookahead and Rollback
- Regular \(\omega\)-languages with an informative right congruence
- Learning the Language of Software Errors
- Active learning for extended finite state machines
- A Myhill-Nerode theorem for register automata and symbolic trace languages
- Learning register automata: from languages to program structures
- Learning Symbolic Automata
- Learning the Language of Error
- Inferring regular languages and \(\omega\)-languages
This page was built for software: Sigma*
