Constraint-based controller synthesis in non-deterministic and partially observable domains
From MaRDI portal
Publication:2999201
DOI10.3233/978-1-60750-606-5-681zbMATH Open1211.93047MaRDI QIDQ2999201FDOQ2999201
Authors: Cédric Pralet, Gérard Verfaillie, Michel Lemaître, Guillaume Infantes 
Publication date: 11 May 2011
Recommendations
Cited In (19)
- 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
- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
- Computing programs for generalized planning using a classical planner
- 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
- Minimum Attention Controller Synthesis for Omega-Regular Objectives
- Least-violating control strategy synthesis with safety rules
Uses Software
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)
