Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
From MaRDI portal
Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
Recommendations
- Reactive control improvisation
- Control improvisation
- A survey of randomized algorithms for control synthesis and performance verification
- Constraint-based controller synthesis in non-deterministic and partially observable domains
- Randomized algorithms for robust controller synthesis using statistical learning theory
Cites work
- A logic for reasoning about time and reliability
- A polynomial-time descent method for separable convex optimization problems with linear constraints
- Control improvisation
- High-Quality Synthesis Against Stochastic Environments
- On stochastic games with multiple objectives
- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
- Reactive control improvisation
- Stochastic game logic
- Tinted, detached, and lazy CNF-XOR solving and its applications to counting and sampling
- Uniform generation of NP-witnesses using an NP-oracle
- Uniform Random Generation of Strings in a Context-Free Language
Cited in
(5)
This page was built for publication: Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487347)
