Author:
Maoz Shahar,Ringert Jan Oliver,Shalom Rafi
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Synthesizing Controller for Unsynthesizable Specification Based on Criticality Levels;Proceedings of the 15th Asia-Pacific Symposium on Internetware;2024-07-24
2. Solving Two-Player Games Under Progress Assumptions;Lecture Notes in Computer Science;2023-12-30
3. Automated Repair of Unrealisable LTL Specifications Guided by Model Counting;Proceedings of the Genetic and Evolutionary Computation Conference;2023-07-12
4. Using Reactive Synthesis: An End-to-End Exploratory Case Study;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
5. Triggers for Reactive Synthesis Specifications;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05