Synthesis from Knowledge-Based Specifications (Extended Abstract).
Ron van der MeydenMoshe Y. VardiPublished in: CONCUR (1998)
Keyphrases
- artificial intelligence
- extended abstract
- expert systems
- delay insensitive
- neural network
- data sets
- information retrieval
- genetic algorithm
- written in natural language
- finite state machines
- mechanical devices
- real time
- reactive systems
- operational semantics
- specification language
- source code
- software engineering
- control system
- evolutionary algorithm
- multi agent systems
- bayesian networks
- high level
- image processing