Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization.
Masaki WagaPublished in: CoRR (2023)
Keyphrases
- timed automata
- active learning
- model checking
- reachability analysis
- theorem prover
- selective sampling
- theorem proving
- learning strategies
- first order logic
- supervised learning
- machine learning
- temporal logic
- training set
- random sampling
- learning algorithm
- training examples
- unlabeled data
- annotation effort
- black box
- semi supervised
- real time systems
- imbalanced data classification
- labeled data
- active learning strategies
- markov decision processes
- batch mode active learning
- crowd sourced
- experimental design
- real time
- artificial intelligence
- data mining
- data sets