Author:
de Alfaro Luca,Henzinger Thomas A.,Majumdar Rupak
Publisher
Springer Berlin Heidelberg
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Solving Infinite-State Games via Acceleration;Proceedings of the ACM on Programming Languages;2024-01-05
2. Hyperproperty Verification as CHC Satisfiability;Lecture Notes in Computer Science;2024
3. Symbolic Fixpoint Algorithms for Logical LTL Games;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
4. A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems;IEEE Transactions on Automatic Control;2023-04
5. Timed Games with Bounded Window Parity Objectives;Lecture Notes in Computer Science;2022