Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation

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

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)

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)

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

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)