Runtime Verification for Clinically Interpretable Arrhythmia Classification

Alex Baird, Srinivas Pinisetty, Nathan Allen, Nitish D. Patel, Partha S. Roop. Runtime Verification for Clinically Interpretable Arrhythmia Classification. In 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022. pages 1-10, IEEE, 2022. [doi]

Authors

Alex Baird

This author has not been identified. Look up 'Alex Baird' in Google

Srinivas Pinisetty

This author has not been identified. Look up 'Srinivas Pinisetty' in Google

Nathan Allen

This author has not been identified. Look up 'Nathan Allen' in Google

Nitish D. Patel

This author has not been identified. Look up 'Nitish D. Patel' in Google

Partha S. Roop

This author has not been identified. Look up 'Partha S. Roop' in Google