Author:
Alur Rajeev,Madhusudan P.,Nam Wonhong
Publisher
Springer Berlin Heidelberg
Cited by
55 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Learning Deterministic Multi-Clock Timed Automata;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14
2. Compositional verification of embedded real-time systems;Journal of Systems Architecture;2023-09
3. Data-driven Recurrent Set Learning For Non-termination Analysis;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
4. Learning Assumptions for Compositional Verification of Timed Automata;Computer Aided Verification;2023
5. Machine learning Solutions to Model Checking: A Brief Literature Review;2022 International Symposium on iNnovative Informatics of Biskra (ISNIB);2022-12-07