Active learning of timed automata with unobservable resets.
Léo HenryNicolas MarkeyThierry JéronPublished in: CoRR (2020)
Keyphrases
- timed automata
- active learning
- model checking
- reachability analysis
- theorem prover
- theorem proving
- machine learning
- selective sampling
- semi supervised
- random sampling
- unlabeled data
- learning strategies
- first order logic
- learning algorithm
- pool based active learning
- supervised learning
- real time systems
- cost sensitive
- temporal logic
- training examples
- multi class
- training set
- semi supervised learning
- active learning strategies
- annotation effort
- imbalanced data classification
- transfer learning
- support vector machine
- learning process
- experimental design
- batch mode
- data mining
- graphical models