GR(1) synthesis for LTL specification patterns.
Shahar MaozJan Oliver RingertPublished in: Software Engineering (2016)
Keyphrases
- linear temporal logic
- program synthesis
- pattern mining
- data mining techniques
- pattern discovery
- model checking
- temporal logic
- neural network
- high level
- transition systems
- similar patterns
- specification language
- user defined
- database
- pattern analysis
- interesting patterns
- frequent patterns
- data mining
- hidden markov models
- data structure