Author:
Alur Rajeev,Henzinger Thomas A.,Vardi Moshe Y.
Cited by
248 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Towards a Formal Account on Negative Latency;Bridging the Gap Between AI and Reality;2023-12-14
2. Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata;Electronic Proceedings in Theoretical Computer Science;2023-10-31
3. Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints;Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems;2023-10-18
4. Expiring opacity problems in parametric timed automata;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14
5. Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions;Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control;2023-05-09