Policy-Based Diabetes Detection using Formal Runtime Verification Monitors.

Abhinandan Panda Srinivas Pinisetty Partha S. Roop

Published in: CBMS (2022)

Keyphrases

detection algorithm
detection accuracy
object detection
automatic detection
false alarms
detection method
formal methods
formal model
machine learning
false positives
formal analysis
decision making
anomaly detection
optimal policy
model checking
cardiovascular disease