Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis;Software and Systems Modeling;2023-08-11
2. Towards Efficient Implementation of Realizability Checking for Reactive System Specifications;Proceedings of the 2019 8th International Conference on Software and Computer Applications;2019-02-19
3. Automaton-Based Criteria for Membership in CTL;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09
4. A Fragment of Linear Temporal Logic for Universal Very Weak Automata;Automated Technology for Verification and Analysis;2018
5. Graph Games and Reactive Synthesis;Handbook of Model Checking;2018