scientific article; zbMATH DE number 1444727
From MaRDI portal
Recommendations
Cited in
(36)- Minimum Attention Controller Synthesis for Omega-Regular Objectives
- Latticed-LTL synthesis in the presence of noisy inputs
- GR(1)*: GR(1) specifications extended with existential guarantees
- Compositional Control Synthesis for Partially Observable Systems
- Symmetric synthesis
- Synthesis in presence of dynamic links
- GR(1)*: GR(1) specifications extended with existential guarantees
- On the relation between reactive synthesis and supervisory control of non-terminating processes
- Multi-player games with LDL goals over finite traces
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
- Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control
- Supervisory control and reactive synthesis: a comparative introduction
- scientific article; zbMATH DE number 7577577 (Why is no real title available?)
- An automata-theoretic approach to infinite-state systems
- Estimator-based reactive synthesis under incomplete information
- Synthesis for multi-weighted games with branching-time winning conditions
- Assume-guarantee synthesis for concurrent reactive programs with partial information
- Mean-payoff games with partial observation
- Synthesis from hyperproperties
- Synthesis with privacy against an observer
- Model-checking iterated games
- Latticed-LTL synthesis in the presence of noisy inputs
- scientific article; zbMATH DE number 7455739 (Why is no real title available?)
- SEMI-AUTOMATIC DISTRIBUTED SYNTHESIS
- A hierarchical and modular control architecture for sequential behaviours
- Perspective games
- Strategy logic
- scientific article; zbMATH DE number 1759436 (Why is no real title available?)
- A verification-driven framework for iterative design of controllers
- Partial-observation stochastic games, how to win when belief fails
- Observation and distinction: representing information in infinite games
- Temporal logics of knowledge and their applications in security
- Synthesizing strategies for homogeneous multi-agent systems with incomplete information
- BOCoSy: Small but Powerful Symbolic Output-Feedback Control
- Synthesizing adaptive test strategies from temporal logic specifications
- Automated Technology for Verification and Analysis
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 Q4952307)
