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