Specification Decomposition for Reactive Synthesis (Full Version).
Bernd FinkbeinerGideon GeierNoemi PassingPublished in: CoRR (2021)
Keyphrases
- reactive systems
- functional decomposition
- high level
- database
- decomposition method
- program synthesis
- agent architecture
- search algorithm
- data model
- decomposition methods
- wavelet packet
- formal methods
- texture synthesis
- logic synthesis
- control flow
- specification language
- temporal logic
- evolutionary algorithm
- video sequences
- machine learning
- real world