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)- Reactive synthesis for robotic swarms
- Compositional and symbolic synthesis of reactive controllers for multi-agent systems
- Dynamic hierarchical reactive controller synthesis
- Automated generation of dynamics-based runtime certificates for high-level control
- Parameterized synthesis with safety properties
- Incorporating monitors in reactive synthesis without paying the price
- PuRSUE -- from specification of robotic environments to synthesis of controllers
- Compositional parameter synthesis
- Reactive synthesis from signal temporal logic specifications
- Estimator-based reactive synthesis under incomplete information
- Nonlinear controller synthesis and automatic workspace partitioning for reactive high-level behaviors
- Automatic behavior composition synthesis
- Integrating discrete controller synthesis into a reactive programming language compiler
- scientific article; zbMATH DE number 1956553 (Why is no real title available?)
- Compositional synthesis of reactive controllers for multi-agent systems
- scientific article; zbMATH DE number 1822285 (Why is no real title available?)
- Parameterized Synthesis
- Reactive control improvisation
- Adapting behaviors via reactive synthesis
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)
