Active learning for extended finite state machines.
Sofia CasselFalk HowarBengt JonssonBernhard SteffenPublished in: Formal Aspects Comput. (2016)
Keyphrases
- finite state machines
- active learning
- model checking
- finite state automata
- learning strategies
- supervised learning
- random sampling
- semi supervised
- imbalanced data classification
- database
- active learning strategies
- regular languages
- selective sampling
- digital circuits
- building blocks
- learning process
- knowledge base
- machine learning