Information Flow Guided Synthesis
Authors: Bernd Finkbeiner, Niklas Metzger and Yoram Moses
Paper Information
| Title: | Information Flow Guided Synthesis |
| Authors: | Bernd Finkbeiner, Niklas Metzger and Yoram Moses |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | Distributed Synthesis, Information Flow, Distributed Systems, Assume-Guarantee Synthesis, Compositional Synthesis |
| Pages: | 21 |
| Talk: | Aug 10 16:50 (Session 116A: Synthesis and Concurrency) |
| Paper: |  |