Author:
Chatterjee Krishnendu,Henzinger Thomas A.,Otop Jan,Pavlogiannis Andreas
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Synthesis with Explicit Dependencies;2023 Design, Automation & Test in Europe Conference & Exhibition (DATE);2023-04
2. Compositional safety rules for inter-triggering hybrid automata;Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control;2021-05-19
3. Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications;Theory and Applications of Satisfiability Testing – SAT 2018;2018
4. From DQBF to QBF by Dependency Elimination;Theory and Applications of Satisfiability Testing – SAT 2017;2017
5. Distributed PROMPT-LTL Synthesis;Electronic Proceedings in Theoretical Computer Science;2016-09-13