Runtime Verified Neural Networks for Cyber-Physical Systems. - Dhiren Tripuramallu; Ayush Anand 001; Srinivas Pinisetty; Hammond Pearce; Partha S. Roop (VORTEX@ISSTA, 2024)

An Explainable and Formal Framework for Hypertension Monitoring Using ECG and PPG. - Abhinandan Panda; Ayush Anand 001; Srinivas Pinisetty; Partha S. Roop (IEEE Embed. Syst. Lett., 2024)