SAT-Reach: A Bounded Model Checker for Affine Hybrid Systems. - Atanu Kundu 002; Sarthak Das; Rajarshi Ray 001 (ACM Trans. Embed. Comput. Syst., 2023)

BoxRL-NNV: Boxed Refinement of Latin Hypercube Samples for Neural Network Verification. - Sarthak Das (CoRR, 2025)

Ark: An Open-source Python-based Framework for Robot Learning. - Magnus Dierking; Christopher E. Mower; Sarthak Das; Helong Huang; Jiacheng Qiu; Cody Reading; Wei Chen; Huidong Liang; Guowei Huang; Jan Peters 001; Xingyue Quan; Jun Wang 012; et al. (CoRR, 2025)