Learning infinite-word automata with loop-index queries
Autor: | Jakub Michaliszyn, Jan Otop |
---|---|
Rok vydání: | 2022 |
Předmět: | |
Zdroj: | Artificial Intelligence. 307:103710 |
ISSN: | 0004-3702 |
DOI: | 10.1016/j.artint.2022.103710 |
Databáze: | OpenAIRE |
Externí odkaz: |