Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation

DOI10.1007/978-3-031-13188-2_26MaRDI QIDQ6487347zbMATH OpenFDO

Authors Daniel J. Fremont

Publication date 7 December 2022

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

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)

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 Random Generation of Strings in a Context-Free Language
• Uniform generation of NP-witnesses using an NP-oracle

Cited in

(4)

• Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
• Reactive control improvisation
• Rounding meets approximate model counting
• Control improvisation

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)