Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
From MaRDI portal
Publication:6487347
DOI10.1007/978-3-031-13188-2_26zbMATH Open1514.68134MaRDI QIDQ6487347FDOQ6487347
Authors: Daniel J. Fremont
Publication date: 7 December 2022
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
Formal languages and automata (68Q45) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Randomized algorithms (68W20) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40)
Cites Work
- A logic for reasoning about time and reliability
- Uniform generation of NP-witnesses using an NP-oracle
- High-Quality Synthesis Against Stochastic Environments
- On stochastic games with multiple objectives
- Uniform Random Generation of Strings in a Context-Free Language
- Stochastic game logic
- A polynomial-time descent method for separable convex optimization problems with linear constraints
- Tinted, detached, and lazy CNF-XOR solving and its applications to counting and sampling
- Reactive control improvisation
- Control improvisation
- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
Cited In (4)
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)