Follow
Atanu Kundu 007
Title
Cited by
Cited by
Year
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
The system can't perform the operation now. Try again later.
Articles 1–4