| 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 | 16 | 2023 |
| 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 | 6 | 2024 |
| ARCH-COMP 2024 Category Report: Falsification T Khandait, F Formica, P Arcaini, S Chotaliya, G Fainekos, A Hekal, ... Proceedings of the 11th Int. Workshop on Applied 103, 122-144, 2024 | 3 | 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 | 2 | 2022 |
| 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 | 1 | 2023 |
| ARCH-COMP 2023 Category Report: Falsification-Validation C Menghi, P Arcaini, W Baptista, G Ernst, G Fainekos, F Formica, S Gon, ... (No Title), 2023 | | 2023 |
Rajarshi RayIndian Association for the Cultivation of Science, KolkataVerified email at iacs.res.in