Constraint-based controller synthesis in non-deterministic and partially observable domains
From MaRDI portal
Publication:2999201
Recommendations
Cited in
(19)- Minimum Attention Controller Synthesis for Omega-Regular Objectives
- Least-violating control strategy synthesis with safety rules
- Compositional Control Synthesis for Partially Observable Systems
- Controller Synthesis with Budget Constraints
- On Synthesizing Controllers from Bounded-Response Properties
- PuRSUE -- from specification of robotic environments to synthesis of controllers
- Fully observable non-deterministic planning as assumption-based reactive synthesis
- Automatic behavior composition synthesis
- Counterexample-guided synthesis of observation predicates
- A correctness result for synthesizing plans with loops in stochastic domains
- Automated generation of optimal controllers through model checking techniques
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
- A Nonsmooth Approach to Controller Synthesis for Boolean Specifications
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation
- Computing programs for generalized planning using a classical planner
- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
- The modal transition system control problem
- Maximally permissive controlled system synthesis for non-determinism and modal logic
- Search and explore: symbiotic policy synthesis in POMDPs
This page was built for publication: Constraint-based controller synthesis in non-deterministic and partially observable domains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2999201)
