Parameterized Synthesis
From MaRDI portal
Recommendations
- Parameterized synthesis
- Towards efficient parameterized synthesis
- Compositional parameter synthesis
- Parametric systems: verification and synthesis
- Parameter synthesis of polynomial dynamical systems
- Compositional synthesis with parametric reactive controllers
- Parametric synthesis of nonlinear controlled systems
- Parameterized synthesis with safety properties
- Interval-based synthesis
Cited in
(15)- Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings
- Round- and context-bounded control of dynamic pushdown systems
- Synthesis problems for one-counter automata
- Decidability of verification of safety properties of spatial families of linear hybrid automata
- Parameterized synthesis with safety properties
- Towards efficient parameterized synthesis
- Compositional parameter synthesis
- Distributed synthesis for parameterized temporal logics
- Distributed PROMPT-LTL synthesis
- Parameterized synthesis
- Parameterized synthesis of self-stabilizing protocols in symmetric networks
- Round-bounded control of parameterized systems
- Synthesis of distributed agreement-based systems with efficiently-decidable verification
- Parameterized synthesis for fragments of first-order logic over data words
- Synthesis of distributed algorithms with parameterized threshold guards
This page was built for publication: Parameterized Synthesis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5404478)