Compositional Synthesis with Parametric Reactive Controllers (Q2988986)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Compositional Synthesis with Parametric Reactive Controllers |
scientific article |
Statements
Compositional Synthesis with Parametric Reactive Controllers (English)
0 references
19 May 2017
0 references
compositional synthesis
0 references
controller synthesis
0 references
formal methods
0 references
parametric reactive controllers
0 references
reactive synthesis
0 references
robot motion planning
0 references
