Synthesis from Knowledge-Based Specifications.
Ron van der MeydenMoshe Y. VardiPublished in: CoRR (2013)
Keyphrases
- formal specification
- high level
- delay insensitive
- program synthesis
- machine learning
- specification language
- expert systems
- databases
- control flow
- artificial neural networks
- evolutionary algorithm
- mobile robot
- software engineering
- three dimensional
- case study
- data mining
- formal language
- neural network
- design requirements
- data sets