Learning to Complement Büchi Automata.
Yong LiAndrea TurriniLijun ZhangSven SchewePublished in: VMCAI (2018)
Keyphrases
- learning systems
- learning algorithm
- learning process
- learning mechanism
- online learning
- supervised learning
- artificial intelligence
- learning scheme
- cellular automata
- incremental learning
- grammatical inference
- data mining
- learning phase
- inductive inference
- learning analytics
- hidden markov models
- prior knowledge
- expert systems
- support vector
- genetic algorithm
- information retrieval