Author:
Alur Rajeev,Trivedi Ashutosh,Wojtczak Dominik
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reachability in Continuous Pushdown VASS;Proceedings of the ACM on Programming Languages;2024-01-05
2. Verifying linear temporal specifications of constant-rate multi-mode systems;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
3. Minkowski Games;ACM Transactions on Computational Logic;2018-07-31
4. Schedulability of Bounded-Rate Multimode Systems;ACM Transactions on Embedded Computing Systems;2017-08-31
5. On a Class of Maximal Invariance Inducing Control Strategies for Large Collections of Switched Systems;Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control;2017-04-13