Login / Signup
Atanu Kundu
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Piecewise Constant
Bounded Model Checking
Hybrid Systems
Search Problems
Top Venues
ISEC
ARCH
ARCH@SAFECOMP
</>
Publications
</>
Atanu Kundu
,
Sauvik Gon
,
Rajarshi Ray
Data-Driven Falsification of Cyber-Physical Systems.
ISEC
(2024)
Claudio Menghi
,
Paolo Arcaini
,
Walstan Baptista
,
Gidon Ernst
,
Georgios Fainekos
,
Federico Formica
,
Sauvik Gon
,
Tanmay Khandait
,
Atanu Kundu
,
Giulia Pedrielli
,
Jarkko Peltomäki
,
Ivan Porres
,
Rajarshi Ray
,
Masaki Waga
,
Zhenya Zhang
ARCH-COMP23 Category Report: Falsification.
ARCH
(2023)
Lei Bu
,
Goran Frehse
,
Atanu Kundu
,
Rajarshi Ray
,
Yuhui Shi
,
Enea Zaffanella
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.
ARCH@SAFECOMP
(2022)