Pages that link to "Item:Q1401346"
From MaRDI portal
The following pages link to Games for synthesis of controllers with partial observation. (Q1401346):
Displayed 19 items.
- Branching-time logics with path relativisation (Q386037) (← links)
- Controller synthesis for safety and reachability via approximate bisimulation (Q445917) (← links)
- Timed modal logics for real-time systems. Specification, verification and control (Q548704) (← links)
- Games with winning conditions of high Borel complexity (Q817850) (← links)
- Distributed synthesis for well-connected architectures (Q842581) (← links)
- Solvability of centralized supervisory control under partial observation (Q858155) (← links)
- Modal specifications for the control theory of discrete event systems (Q884763) (← links)
- Approximately bisimilar symbolic models for nonlinear control systems (Q1004115) (← links)
- A decidable class of problems for control under partial observation (Q1041809) (← links)
- Ambiguous classes in \(\mu\)-calculi hierarchies (Q1770419) (← links)
- Modal event-clock specifications for timed component-based design (Q1951603) (← links)
- Control of discrete-event systems with modular or distributed structure (Q2464943) (← links)
- Undecidability in decentralized supervision (Q2504549) (← links)
- TWO LOCAL STRATEGY ITERATION SCHEMES FOR PARITY GAME SOLVING (Q2909223) (← links)
- REASONING ABOUT TRANSFINITE SEQUENCES (Q3426789) (← links)
- On Distributed Program Specification and Synthesis in Architectures with Cycles (Q3613067) (← links)
- Solving Parity Games in Practice (Q3648698) (← links)
- Permissive strategies: from parity games to safety games (Q4800258) (← links)
- Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition (Q5166610) (← links)