Author:
Ring Martin,Bornebusch Fritjof,Luth Christoph,Wille Robert,Drechsler Rolf
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verifizierung für autonome Unterwassersysteme;KI-Technologie für Unterwasserroboter;2023
2. Edge Verification: Ensuring Correctness under Resource Constraints;2021 34th SBC/SBMicro/IEEE/ACM Symposium on Integrated Circuits and Systems Design (SBCCI);2021-08-23
3. Ensuring Correctness of Next Generation Devices: From Reconfigurable to Self-Learning Systems;2019 IEEE 28th Asian Test Symposium (ATS);2019-12
4. Verification for Autonomous Underwater Systems;AI Technology for Underwater Robots;2019-10-24
5. SAT-Hard: A Learning-Based Hardware SAT-Solver;2019 22nd Euromicro Conference on Digital System Design (DSD);2019-08