팔로우
Atanu Kundu 007
제목
인용
인용
연도
SAT-Reach: A Bounded Model Checker for Affine Hybrid Systems
A Kundu, S Das, R Ray
ACM Transactions on Embedded Computing Systems 22 (2), 1-36, 2023
12023
ARCH-COMP 2023 Category Report: Falsification
C Menghi, P Arcaini, W Baptista, G Ernst, G Fainekos, F Formica, S Gon, ...
10th International Workshop on Applied Verification of Continuous and Hybrid …, 2023
12023
Data-Driven Falsification of Cyber-Physical Systems
A Kundu, S Gon, R Ray
Proceedings of the 17th Innovations in Software Engineering Conference, 1-5, 2024
2024
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
L Bu, G Frehse, A Kundu, R Ray, Y Shi, E Zaffanella
EPiC Series in Computing 90, 44-57, 2022
2022
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–4