Author:
Adimoolam Arvind,Dang Thao,Donzé Alexandre,Kapinski James,Jin Xiaoqing
Publisher
Springer International Publishing
Reference26 articles.
1. Althoff, M., Krogh, B.: Zonotope bundles for the efficient computation of reachable sets. In: 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC), pp. 6814–6821, December 2011
2. Lecture Notes in Computer Science;Y Annpureddy,2011
3. Lecture Notes in Computer Science;O Bouissou,2009
4. Lecture Notes in Computer Science;X Chen,2013
5. Cortes, C., Vapnik, V.: Support-vector networks. Mach. Learn. 20(3), 273–297 (1995)
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems;IEEE Transactions on Software Engineering;2023-09-01
2. Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems;2023 IEEE 19th International Conference on Automation Science and Engineering (CASE);2023-08-26
3. A Robustness-Based Confidence Measure for Hybrid System Falsification;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-05
4. Property-Based Mutation Testing;2023 IEEE Conference on Software Testing, Verification and Validation (ICST);2023-04
5. FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria;IEEE Transactions on Software Engineering;2023-04-01