Author:
Li Jiaying,Sun Jun,Gao Bo,André Étienne
Publisher
Springer International Publishing
Reference42 articles.
1. PTA-Learn repo (2017). https://github.com/lijiaying/pta-Learn
2. Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183–235 (1994)
3. Alur, R., Henzinger, T.A., Vardi, M.Y.: Parametric real-time reasoning. In: Proceedings of the 25th annual ACM symposium on Theory of Computing, pp. 592–601. ACM (1993)
4. Lecture Notes in Computer Science;É André,2010
5. Lecture Notes in Computer Science;É André,2012
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Towards an Effective and Interpretable Refinement Approach for DNN Verification;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS);2023-10-22
2. Parametric Verification: An Introduction;Transactions on Petri Nets and Other Models of Concurrency XIV;2019
3. A Benchmark Library for Parametric Timed Model Checking;Communications in Computer and Information Science;2019