Environment Assumptions for Synthesis-Reference-Cited by-同舟云学术

Environment Assumptions for Synthesis

Published:2008 Issue: Volume: Page:147-161
ISSN:0302-9743
Container-title:CONCUR 2008 - Concurrency Theory
language:
Short-container-title:

Author:

Chatterjee Krishnendu,Henzinger Thomas A.,Jobstmann Barbara

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-85361-9_14

Reference21 articles.

1. Alpern, B., Schneider, F.B.: Recognizing safety and liveness. Distributed Computing 2, 117–126 (1987)

2. Lecture Notes in Computer Science;I. Beer,1997

3. Bernet, J., Janin, D., Walukiewicz, I.: Permissive strategies: from parity games to safety games. Theoretical Informatics and Applications, 261–275 (2002)

4. Lecture Notes in Computer Science;D. Beyer,2007

5. Bloem, R., Galler, S., Jobstmann, B., Piterman, N., Pnueli, A., Weiglhofer, M.: Automatic hardware synthesis from specifications: A case study. In: DATE 2007, pp. 1188–1193. ACM, New York (2007)

Cited by 69 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Understanding Synthesized Reactive Systems Through Invariants;Lecture Notes in Computer Science;2024-09-11

2. The Complexity of LTL Rational Synthesis;ACM Transactions on Computational Logic;2024-04-16

3. Resolving Goal-Conflicts and Scaling Synthesis through Mode-Based Decomposition;Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings;2024-04-14

4. Solving Two-Player Games Under Progress Assumptions;Lecture Notes in Computer Science;2023-12-30

5. Physically Feasible Repair of Reactive, Linear Temporal Logic-Based, High-Level Tasks;IEEE Transactions on Robotics;2023-12