Specification Decomposition for Reactive Synthesis.
Bernd FinkbeinerGideon GeierNoemi PassingPublished in: NFM (2021)
Keyphrases
- reactive systems
- functional decomposition
- decomposition method
- specification language
- program synthesis
- reactive planning
- database
- provably correct
- decomposition algorithm
- formal specification
- wavelet packet
- agent architecture
- hierarchical decomposition
- multiresolution
- high level
- formal methods
- image decomposition
- programming language
- metadata
- databases