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