scientific article; zbMATH DE number 2163041
From MaRDI portal
Publication:4673428
computational complextycontroller synthesis problemgamelinear time specificationsMarkov decision processesNP-completenessNP-hardnessprobabilistic computation tree logictimed transition system
Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Markov and semi-Markov decision processes (90C40) Stochastic games, stochastic differential games (91A15) Synthesis problems (93B50) Discrete event control/observation systems (93C65) Stochastic systems in control theory (general) (93E03)
Recommendations
- On the controller synthesis for finite-state Markov decision processes
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- Measuring and synthesizing systems in probabilistic environments
- Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives
- Synthesizing efficient controllers
Cited in
(56)- Games for synthesis of controllers with partial observation.
- Compositional strategy synthesis for stochastic games with multiple objectives
- Tableaux for policy synthesis for MDPs with PCTL* constraints
- Verification and control of partially observable probabilistic systems
- The complexity of synchronizing Markov decision processes
- On a probabilistic approach to synthesize control policies from example datasets
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations
- Verification of multiplayer stochastic games via abstract dependency graphs
- Controlling a random population
- \textsf{AMYTISS}: parallelized automated controller synthesis for large-scale stochastic systems
- Synthesizing optimally resilient controllers
- Compositional construction of most general controllers
- Generalized control systems in the space of probability measures
- Synthesizing efficient controllers
- Permissive controller synthesis for probabilistic systems
- Verification and control of probabilistic rectangular hybrid automata
- Verification and control of partially observable probabilistic real-time systems
- On pure Nash equilibria in stochastic games
- Automata and games for synthesis
- Constraint-based controller synthesis in non-deterministic and partially observable domains
- Quantitative multi-objective verification for probabilistic systems
- Nondeterministic controllers of nondeterministic processes
- A compositional framework for controller synthesis
- Graph Games and Reactive Synthesis
- Model checking probabilistic systems
- Synthesis for Structure Rewriting Systems
- Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives
- Synthesis for Probabilistic Environments
- Controller Synthesis with Budget Constraints
- Strategy Synthesis for Markov Decision Processes and Branching-Time Logics
- Symbolic synthesis of finite-state controllers for request-response specifications
- scientific article; zbMATH DE number 1759605 (Why is no real title available?)
- Optimal assumptions for synthesis
- Generalised Probabilistic Control Design for Uncertain Stochastic Control Systems
- The modal transition system control problem
- Expectations or guarantees? I want it all! A crossroad between games and MDPs
- The satisfiability problem for unbounded fragments of probabilistic CTL
- Controlling a random population
- Parameter and controller synthesis for Markov chains with actions and state labels
- Computer Science Logic
- Mathematical Foundations of Computer Science 2003
- On the controller synthesis for finite-state Markov decision processes
- Measuring and synthesizing systems in probabilistic environments
- Formal Modeling and Analysis of Timed Systems
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
- Satisfiability of quantitative probabilistic CTL: rise to the challenge
- Playing Against Fair Adversaries in Stochastic Games with Total Rewards
- MDPs as distribution transformers: affine invariant synthesis for safety objectives
- Formal controller synthesis for Markov jump linear systems with uncertain dynamics
- Deductive controller synthesis for probabilistic hyperproperties
- Adapting to the behavior of environments with bounded memory
- Learning algorithms for verification of Markov decision processes
- Stochastic game logic
- Some aspects of synthesis of probabilistic fuzzy controllers
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4673428)
