Author:Atanu Kundu

Publications

Keyphrases

ARCH-COMP, Benchmarking2, Bounded Model Checking, Cyber-Physical Systems2, evaluation2, falsification2, Friendly Competition2, hybrid system, model checker, Piecewise Constant Dynamics.