Symbolic repairs for GR(1) specifications.
Shahar MaozJan Oliver RingertRafi ShalomPublished in: ICSE (2019)
Keyphrases
- high level
- delay insensitive
- symbolic representation
- integrity constraints
- data mining
- artificial intelligence
- symbolic reasoning
- reactive systems
- multi agent
- symbolic description
- formal specification
- functional requirements
- connectionist learning
- real time
- concurrent systems
- null values
- data management
- relational databases
- neural network