From Passive to Active: Learning Timed Automata Efficiently.
Bernhard K. AichernigAndrea PferscherMartin TapplerPublished in: NFM (2020)
Keyphrases
- active learning
- timed automata
- model checking
- reachability analysis
- random sampling
- semi supervised
- relevance feedback
- supervised learning
- learning process
- experimental design
- theorem prover
- learning strategies
- real time systems
- temporal logic
- first order logic
- database
- training examples
- training data
- learning algorithm
- information retrieval