Information Flow Guided Synthesis
From MaRDI portal
Publication:6487346
Recommendations
Cites work
- Algorithms for model checking HyperLTL and HyperCTL^*
- Assume-Guarantee Synthesis
- Assume-guarantee synthesis for concurrent reactive programs with partial information
- Automated Technology for Verification and Analysis
- Compositional algorithms for LTL synthesis
- Compositional synthesis of modular systems
- Compositional synthesis of reactive controllers for multi-agent systems
- Dependency-Based Compositional Synthesis
- Efficient trace encodings of bounded synthesis for asynchronous distributed systems
- Information Flow Guided Synthesis
- Model Checking Information Flow in Reactive Systems
- SEMI-AUTOMATIC DISTRIBUTED SYNTHESIS
- Safraless Compositional Synthesis
- Synthesizing reactive systems from hyperproperties
Cited in
(2)
This page was built for publication: Information Flow Guided Synthesis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487346)