Author:
Becchi Anna,Zaffanella Enea
Publisher
Springer International Publishing
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. P-stable abstractions of hybrid systems;Software and Systems Modeling;2024-01-29
2. MoULDyS: Monitoring of autonomous systems in the presence of uncertainties;Science of Computer Programming;2023-08
3. Speeding up Static Analysis with the Split Operator;Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis;2023-06-06
4. SAT-Reach
: A Bounded Model Checker for Affine Hybrid Systems;ACM Transactions on Embedded Computing Systems;2023-01-24
5. Model-bounded Monitoring of Hybrid Systems;ACM Transactions on Cyber-Physical Systems;2022-10-31