Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization.
Masaki WagaPublished in: CAV (1) (2023)
Keyphrases
- timed automata
- active learning
- model checking
- reachability analysis
- theorem prover
- random sampling
- semi supervised
- theorem proving
- learning strategies
- first order logic
- machine learning
- real time systems
- selective sampling
- labeled data
- batch mode
- pool based active learning
- learning algorithm
- data sets
- randomized algorithms
- data mining
- imbalanced data classification
- black box
- supervised learning
- temporal logic
- sample size
- semi supervised learning
- relevance feedback
- batch mode active learning
- pairwise
- bayesian networks
- music emotion classification