Compositional synthesis with parametric reactive controllers
From MaRDI portal
Recommendations
- Compositional and symbolic synthesis of reactive controllers for multi-agent systems
- Parameterized synthesis with safety properties
- Reactive synthesis from signal temporal logic specifications
- Compositional synthesis of reactive controllers for multi-agent systems
- scientific article; zbMATH DE number 1822285
Cited in
(19)- Adapting behaviors via reactive synthesis
- PuRSUE -- from specification of robotic environments to synthesis of controllers
- Automatic behavior composition synthesis
- Integrating discrete controller synthesis into a reactive programming language compiler
- Reactive control improvisation
- Reactive synthesis for robotic swarms
- Compositional synthesis of reactive controllers for multi-agent systems
- Parameterized synthesis with safety properties
- Compositional and symbolic synthesis of reactive controllers for multi-agent systems
- Estimator-based reactive synthesis under incomplete information
- Incorporating monitors in reactive synthesis without paying the price
- Compositional parameter synthesis
- Reactive synthesis from signal temporal logic specifications
- Parameterized Synthesis
- Automated generation of dynamics-based runtime certificates for high-level control
- Dynamic hierarchical reactive controller synthesis
- scientific article; zbMATH DE number 1956553 (Why is no real title available?)
- scientific article; zbMATH DE number 1822285 (Why is no real title available?)
- Nonlinear controller synthesis and automatic workspace partitioning for reactive high-level behaviors
This page was built for publication: Compositional synthesis with parametric reactive controllers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2988986)
