Active Learning of Timed Automata with Unobservable Resets.
Léo HenryThierry JéronNicolas MarkeyPublished in: FORMATS (2020)
Keyphrases
- timed automata
- active learning
- model checking
- reachability analysis
- theorem prover
- random sampling
- selective sampling
- theorem proving
- first order logic
- learning strategies
- semi supervised
- real time systems
- supervised learning
- experimental design
- learning algorithm
- temporal logic
- unlabeled data
- crowd sourced
- semi supervised learning
- labeled data
- active learning strategies
- learning process
- pool based active learning
- relevance feedback
- machine learning
- imbalanced data classification
- sample selection
- training examples
- training set
- multi class
- annotation effort
- case study
- genetic algorithm