Active Learning of One-Clock Timed Automata using Constraint Solving.
Runqing XuJie AnBohua ZhanPublished in: CoRR (2022)
Keyphrases
- constraint solving
- timed automata
- active learning
- model checking
- constraint logic programming
- constraint propagation
- reachability analysis
- constraint satisfaction
- constraint satisfaction problems
- constraint solver
- theorem prover
- high speed
- theorem proving
- first order logic
- learning algorithm
- constraint programming
- machine learning
- power consumption
- real time systems
- supervised learning
- training set
- constraint solvers
- labeled data
- semi supervised
- finite domain
- learning process