Automated Incremental Synthesis of Timed Automata.
Borzoo BonakdarpourSandeep S. KulkarniPublished in: FMICS/PDMC (2006)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- semi automated
- incremental learning
- first order logic
- theorem proving
- fully automated
- low cost
- fully automatic
- incremental clustering
- program synthesis
- database
- data driven
- real time
- semi automatic
- digital libraries
- incremental algorithms
- reinforcement learning
- data sets