Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications.
Joel GreenyerChristian BrennerMaxime CordyPatrick HeymansErika GressiPublished in: Software Engineering & Management (2015)
Keyphrases
- product line
- software product line
- product lines
- software development
- control system
- software architecture
- software engineering
- high level
- reinforcement learning
- future directions
- delay insensitive
- functional requirements
- formal specification
- control flow
- requirements engineering
- control law
- specification language
- artificial intelligence
- control scheme
- control algorithm
- written in natural language